%0 Conference Paper %1 conf/vstte/BarnettDFJLSV05 %A Barnett, Michael %A DeLine, Robert %A Fähndrich, Manuel %A Jacobs, Bart %A Leino, K. Rustan M. %A Schulte, Wolfram %A Venter, Herman %B VSTTE %D 2005 %E Meyer, Bertrand %E Woodcock, Jim %I Springer %K dblp %P 144-152 %T The Spec# Programming System: Challenges and Directions. %U http://dblp.uni-trier.de/db/conf/vstte/vstte2005.html#BarnettDFJLSV05 %V 4171 %@ 978-3-540-69147-1

@inproceedings{conf/vstte/BarnettDFJLSV05, added-at = {2018-06-26T00:00:00.000+0200}, author = {Barnett, Michael and DeLine, Robert and Fähndrich, Manuel and Jacobs, Bart and Leino, K. Rustan M. and Schulte, Wolfram and Venter, Herman}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e6957bf02e435a546444d94321facb21/dblp}, booktitle = {VSTTE}, crossref = {conf/vstte/2005}, editor = {Meyer, Bertrand and Woodcock, Jim}, ee = {https://doi.org/10.1007/978-3-540-69149-5_16}, interhash = {d49c271729579be5d3a74a52e86e04b6}, intrahash = {e6957bf02e435a546444d94321facb21}, isbn = {978-3-540-69147-1}, keywords = {dblp}, pages = {144-152}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T12:40:54.000+0200}, title = {The Spec# Programming System: Challenges and Directions.}, url = {http://dblp.uni-trier.de/db/conf/vstte/vstte2005.html#BarnettDFJLSV05}, volume = 4171, year = 2005 }