%0 Conference Paper %1 conf/vstte/HoareM05 %A Hoare, Tony %A Misra, Jayadev %B VSTTE %D 2005 %E Meyer, Bertrand %E Woodcock, Jim %I Springer %K dblp %P 1-18 %T Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project. %U http://dblp.uni-trier.de/db/conf/vstte/vstte2005.html#HoareM05 %V 4171 %@ 978-3-540-69147-1

@inproceedings{conf/vstte/HoareM05, added-at = {2018-06-26T00:00:00.000+0200}, author = {Hoare, Tony and Misra, Jayadev}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2cfdd2d647b4699e6e5377811941bae5c/dblp}, booktitle = {VSTTE}, crossref = {conf/vstte/2005}, editor = {Meyer, Bertrand and Woodcock, Jim}, ee = {https://doi.org/10.1007/978-3-540-69149-5_1}, interhash = {24c75c975a50bf34c8edb4ca2461277d}, intrahash = {cfdd2d647b4699e6e5377811941bae5c}, isbn = {978-3-540-69147-1}, keywords = {dblp}, pages = {1-18}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T12:40:54.000+0200}, title = {Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project.}, url = {http://dblp.uni-trier.de/db/conf/vstte/vstte2005.html#HoareM05}, volume = 4171, year = 2005 }