Book Chapter Details
Mandatory Fields
Dr Rosemary Monahan, Dr K Rustan M Leino
2010 August
Verified Software: Theories, Tools, Experiments
Dafny Meets the Verification Benchmarks Challenge
Springer
Edinburgh, UK
Published
0
Optional Fields
978-3-642-15057-9
112
126
Grant Details