Software Verification Using k−Induction
Alastair F. Donaldson‚ Leopold Haller‚ Daniel Kroening and Philipp Ruemmer
Book Title
SAS
Publisher
Springer
Series
Lecture Notes in Computer Science
Year
2011
Alastair F. Donaldson‚ Leopold Haller‚ Daniel Kroening and Philipp Ruemmer