%0 Conference Paper %1 conf/icse/CookHSS12 %A Cook, Charles T. %A Harton, Heather K. %A Smith, Hampton %A Sitaraman, Murali %B ICSE %D 2012 %E Glinz, Martin %E Murphy, Gail C. %E Pezzè, Mauro %I IEEE Computer Society %K dblp %P 1379-1382 %T Specification engineering and modular verification using a web-integrated verifying compiler. %U http://dblp.uni-trier.de/db/conf/icse/icse2012.html#CookHSS12 %@ 978-1-4673-1067-3

@inproceedings{conf/icse/CookHSS12, added-at = {2023-03-23T00:00:00.000+0100}, author = {Cook, Charles T. and Harton, Heather K. and Smith, Hampton and Sitaraman, Murali}, biburl = {https://www.bibsonomy.org/bibtex/2a106696bf8cb2723a42cfca644161ae7/dblp}, booktitle = {ICSE}, crossref = {conf/icse/2012}, editor = {Glinz, Martin and Murphy, Gail C. and Pezzè, Mauro}, ee = {http://dl.acm.org/citation.cfm?id=2337423}, interhash = {45fe654c222a82052298f27fd3f0c13e}, intrahash = {a106696bf8cb2723a42cfca644161ae7}, isbn = {978-1-4673-1067-3}, keywords = {dblp}, pages = {1379-1382}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:37:41.000+0200}, title = {Specification engineering and modular verification using a web-integrated verifying compiler.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2012.html#CookHSS12}, year = 2012 }