%0 Conference Paper %1 conf/sefm/SchmittT07 %A Schmitt, Peter H. %A Tonin, Isabel %B SEFM %D 2007 %I IEEE Computer Society %K dblp %P 47-58 %T Verifying the Mondex Case Study. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2007.html#SchmittT07 %@ 978-0-7695-2884-7

@inproceedings{conf/sefm/SchmittT07, added-at = {2023-03-24T00:00:00.000+0100}, author = {Schmitt, Peter H. and Tonin, Isabel}, biburl = {https://www.bibsonomy.org/bibtex/28e5b6339170398524a63de8a50303c40/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2007}, ee = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2007.47}, interhash = {61587e02173d00ef861b2086b5ea6d3e}, intrahash = {8e5b6339170398524a63de8a50303c40}, isbn = {978-0-7695-2884-7}, keywords = {dblp}, pages = {47-58}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:21:32.000+0200}, title = {Verifying the Mondex Case Study.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2007.html#SchmittT07}, year = 2007 }