@inproceedings{DBLP:conf/vstte/WeideSHABBHKF08,
author = {Bruce W. Weide and
Murali Sitaraman and
Heather K. Harton and
Bruce M. Adcock and
Paolo Bucci and
Derek Bronish and
Wayne D. Heym and
Jason Kirschenbaum and
David Frazier},
title = {Incremental Benchmarks for Software Verification Tools and
Techniques},
booktitle = {VSTTE},
year = {2008},
pages = {84-98},
ee = {http://dx.doi.org/10.1007/978-3-540-87873-5_10},
crossref = {DBLP:conf/vstte/2008},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/vstte/2008,
editor = {Natarajan Shankar and
Jim Woodcock},
title = {Verified Software: Theories, Tools, Experiments, Second
International Conference, VSTTE 2008, Toronto, Canada, October
6-9, 2008. Proceedings },
booktitle = {VSTTE},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5295},
year = {2008},
isbn = {978-3-540-87872-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-09 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
