%0 Conference Paper %1 conf/spin/GallardoJMS07 %A del Mar Gallardo, María %A Joubert, Christophe %A Merino, Pedro %A Sanán, David %B SPIN %D 2007 %E Bosnacki, Dragan %E Edelkamp, Stefan %I Springer %K dblp %P 268-273 %T C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs. %U http://dblp.uni-trier.de/db/conf/spin/spin2007.html#GallardoJMS07 %V 4595 %@ 978-3-540-73369-0

@inproceedings{conf/spin/GallardoJMS07, added-at = {2022-10-02T00:00:00.000+0200}, author = {del Mar Gallardo, María and Joubert, Christophe and Merino, Pedro and Sanán, David}, biburl = {https://www.bibsonomy.org/bibtex/2b235ebb45cc5c3239cff19ea1d8446c3/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2007}, editor = {Bosnacki, Dragan and Edelkamp, Stefan}, ee = {https://doi.org/10.1007/978-3-540-73370-6_18}, interhash = {0fd608e8c040a06b880693e7ecf1413f}, intrahash = {b235ebb45cc5c3239cff19ea1d8446c3}, isbn = {978-3-540-73369-0}, keywords = {dblp}, pages = {268-273}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T20:33:21.000+0200}, title = {C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2007.html#GallardoJMS07}, volume = 4595, year = 2007 }