@inproceedings{conf/sigsoft/RobbyDH03,
title = {Bogor: an extensible and highly-modular software model checking framework.},
author = { Robby and Matthew B. Dwyer and John Hatcliff},
booktitle = {ESEC / SIGSOFT FSE},
crossref = {conf/sigsoft/2003},
pages = {267-276},
publisher = {ACM},
url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2003.html#RobbyDH03},
year = {2003},
description = {dblp},
ee = {http://doi.acm.org/10.1145/940071.940107}, date = {2008-05-09},
keywords = {dblp }
}
::