%0 Conference Paper %1 conf/cassis/BarnettLS04 %A Barnett, Mike %A Leino, K. Rustan M. %A Schulte, Wolfram %B CASSIS %D 2004 %E Barthe, Gilles %E Burdy, Lilian %E Huisman, Marieke %E Lanet, Jean-Louis %E Muntean, Traian %I Springer %K dblp %P 49-69 %T The Spec# Programming System: An Overview. %U http://dblp.uni-trier.de/db/conf/cassis/cassis2004.html#BarnettLS04 %V 3362 %@ 3-540-24287-2

@inproceedings{conf/cassis/BarnettLS04, added-at = {2023-03-07T00:00:00.000+0100}, author = {Barnett, Mike and Leino, K. Rustan M. and Schulte, Wolfram}, biburl = {https://www.bibsonomy.org/bibtex/24a3ac16d67072e8658d6a634db83dcbb/dblp}, booktitle = {CASSIS}, crossref = {conf/cassis/2004}, editor = {Barthe, Gilles and Burdy, Lilian and Huisman, Marieke and Lanet, Jean-Louis and Muntean, Traian}, ee = {https://doi.org/10.1007/978-3-540-30569-9_3}, interhash = {f08d97be5c86e2965f3f4e9e9d41cdc4}, intrahash = {4a3ac16d67072e8658d6a634db83dcbb}, isbn = {3-540-24287-2}, keywords = {dblp}, pages = {49-69}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T01:38:04.000+0200}, title = {The Spec# Programming System: An Overview.}, url = {http://dblp.uni-trier.de/db/conf/cassis/cassis2004.html#BarnettLS04}, volume = 3362, year = 2004 }