%0 Conference Paper %1 conf/icsr/KulczyckiSKHOWBCDDHHHSSTYZ13 %A Kulczycki, Gregory %A Sitaraman, Murali %A Krone, Joan %A Hollingsworth, Joseph E. %A Ogden, William F. %A Weide, Bruce W. %A Bucci, Paolo %A Cook, Charles T. %A Drachova-Strang, Svetlana %A Durkee, Blair %A Harton, Heather K. %A Heym, Wayne D. %A Hoffman, Dustin %A Smith, Hampton %A Sun, Yu-Shan %A Tagore, Aditi %A Yasmin, Nighat %A Zaccai, Diego %B ICSR %D 2013 %E Favaro, John M. %E Morisio, Maurizio %I Springer %K dblp %P 308-314 %T A Language for Building Verified Software Components. %U http://dblp.uni-trier.de/db/conf/icsr/icsr2013.html#KulczyckiSKHOWBCDDHHHSSTYZ13 %V 7925 %@ 978-3-642-38976-4

@inproceedings{conf/icsr/KulczyckiSKHOWBCDDHHHSSTYZ13, added-at = {2017-05-23T00:00:00.000+0200}, author = {Kulczycki, Gregory and Sitaraman, Murali and Krone, Joan and Hollingsworth, Joseph E. and Ogden, William F. and Weide, Bruce W. and Bucci, Paolo and Cook, Charles T. and Drachova-Strang, Svetlana and Durkee, Blair and Harton, Heather K. and Heym, Wayne D. and Hoffman, Dustin and Smith, Hampton and Sun, Yu-Shan and Tagore, Aditi and Yasmin, Nighat and Zaccai, Diego}, biburl = {https://www.bibsonomy.org/bibtex/25a48c932dfdf3cf1777429b6ebf2583f/dblp}, booktitle = {ICSR}, crossref = {conf/icsr/2013}, editor = {Favaro, John M. and Morisio, Maurizio}, ee = {https://doi.org/10.1007/978-3-642-38977-1_23}, interhash = {69f8e9a9ee8700200cd12ba6311034e1}, intrahash = {5a48c932dfdf3cf1777429b6ebf2583f}, isbn = {978-3-642-38976-4}, keywords = {dblp}, pages = {308-314}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:35:27.000+0200}, title = {A Language for Building Verified Software Components.}, url = {http://dblp.uni-trier.de/db/conf/icsr/icsr2013.html#KulczyckiSKHOWBCDDHHHSSTYZ13}, volume = 7925, year = 2013 }