Skip to main content

Making Software Verification Tools Really Work

Jade Alglave‚ Alastair Donaldson‚ Daniel Kroening and Michael Tautschnig

Book Title
Proceedings of 9th Automated Technology for Verification and Analysis (ATVA 2011)
ISBN
978−3−642−24371−4
Month
oct
Pages
28−42
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
6996
Year
2011