%0 Conference Paper %1 conf/icsr/KirschenbaumABSHSW09 %A Kirschenbaum, Jason %A Adcock, Bruce M. %A Bronish, Derek %A Smith, Hampton %A Harton, Heather K. %A Sitaraman, Murali %A Weide, Bruce W. %B ICSR %D 2009 %E Edwards, Stephen H. %E Kulczycki, Gregory %I Springer %K dblp %P 31-40 %T Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping? %U http://dblp.uni-trier.de/db/conf/icsr/icsr2009.html#KirschenbaumABSHSW09 %V 5791 %@ 978-3-642-04210-2

@inproceedings{conf/icsr/KirschenbaumABSHSW09, added-at = {2017-05-23T00:00:00.000+0200}, author = {Kirschenbaum, Jason and Adcock, Bruce M. and Bronish, Derek and Smith, Hampton and Harton, Heather K. and Sitaraman, Murali and Weide, Bruce W.}, biburl = {https://www.bibsonomy.org/bibtex/21492ea67f69d8223ef67b40649ae9daa/dblp}, booktitle = {ICSR}, crossref = {conf/icsr/2009}, editor = {Edwards, Stephen H. and Kulczycki, Gregory}, ee = {https://doi.org/10.1007/978-3-642-04211-9_4}, interhash = {5bf9480bc05b3d2c6e0a72afb9682031}, intrahash = {1492ea67f69d8223ef67b40649ae9daa}, isbn = {978-3-642-04210-2}, keywords = {dblp}, pages = {31-40}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:35:04.000+0200}, title = {Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?}, url = {http://dblp.uni-trier.de/db/conf/icsr/icsr2009.html#KirschenbaumABSHSW09}, volume = 5791, year = 2009 }