"Zirkel, Stephen." appeared in Books and Chapters

Click here to donate your five minutes and submit the table of contents of a book.

Search from the table of contents of 2.5 million books

Advanced Search (Beta)

Home > Zirkel, Stephen.

"Zirkel, Stephen." appeared in Books and Chapters

entries per page

Filter:

Showing 1 to 1 of 1 entry

Book	Author(s)	Year	Publisher
Underneath it all /	Watkins, Mitch.; Chambers, Dennis.; Cox, Anthony; Tuncboyaci, Arto.; Lockart, Rob.; Ostermayer, Paul.; Zirkel, Stephen.	[2009]	Naxos Digital Services/Enja,
Boook	Author(s)	Year	Publisher

Showing 1 to 1 of 1 entry

«
‹
1
›
»

entries per page

Filter:

Showing 1 to 3 of 3 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Loop Invariant Symbolic Execution for Parallel Programs	Stephen F. Siegel; Timothy K. Zirkel	Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings	Viktor Kuncak; Andrey Rybalchenko	2012	Springer Berlin Heidelberg
Collective Assertions	Stephen F. Siegel; Timothy K. Zirkel	Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings	Ranjit Jhala; David Schmidt	2011	Springer Berlin Heidelberg
Automated Verification of Chapel Programs Using Model Checking and Symbolic Execution	Timothy K. Zirkel; Stephen F. Siegel; Timothy McClory	NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings	Guillaume Brat; Neha Rungta; Arnaud Venet	2013	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 3 of 3 entries

«
‹
1
›
»