Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/vstte/WeideSHABBHKF08
%A Weide, Bruce W.
%A Sitaraman, Murali
%A Harton, Heather K.
%A Adcock, Bruce M.
%A Bucci, Paolo
%A Bronish, Derek
%A Heym, Wayne D.
%A Kirschenbaum, Jason
%A Frazier, David
%B VSTTE
%D 2008
%E Shankar, Natarajan
%E Woodcock, Jim
%I Springer
%K dblp
%P 84-98
%T Incremental Benchmarks for Software Verification Tools and Techniques.
%U http://dblp.uni-trier.de/db/conf/vstte/vstte2008.html#WeideSHABBHKF08
%V 5295
%@ 978-3-540-87872-8
@inproceedings{conf/vstte/WeideSHABBHKF08,
added-at = {2017-05-23T00:00:00.000+0200},
author = {Weide, Bruce W. and Sitaraman, Murali and Harton, Heather K. and Adcock, Bruce M. and Bucci, Paolo and Bronish, Derek and Heym, Wayne D. and Kirschenbaum, Jason and Frazier, David},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/29cee1d5a5d7d8ce7929d303b4c51b505/dblp},
booktitle = {VSTTE},
crossref = {conf/vstte/2008},
editor = {Shankar, Natarajan and Woodcock, Jim},
ee = {https://doi.org/10.1007/978-3-540-87873-5_10},
interhash = {7be366d288a707d69aaef96498b52373},
intrahash = {9cee1d5a5d7d8ce7929d303b4c51b505},
isbn = {978-3-540-87872-8},
keywords = {dblp},
pages = {84-98},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-09-27T12:40:56.000+0200},
title = {Incremental Benchmarks for Software Verification Tools and Techniques.},
url = {http://dblp.uni-trier.de/db/conf/vstte/vstte2008.html#WeideSHABBHKF08},
volume = 5295,
year = 2008
}