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