Title: | Software Verification |
---|---|
Links: | Homepage |
Authors: | Daniel Kroening EMail |
Remarks: | |
ISSN: | 0922-6389 |
Topics: |
Bibtex:
@incollection{k2007-sat, AUTHOR = { Kroening, Daniel }, TITLE = { Software Verification }, BOOKTITLE = { Handbook of Satisfiability }, YEAR = { 2009 }, PUBLISHER = { IOS Press }, PAGES = { 505--532 }, ISBN = { 978-1-58603-929-5 }, SERIES = { Frontiers in Artificial Intelligence and Applications }, MONTH = { February }, CHAPTER = { 16 }, EDITOR = { Biere, Armin and Heule, Marijn J. H. and van Maaren, Hans and Walsh, Toby }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.