Inproceedings,
The Spec# Programming System: An Overview.
M. Barnett, K. Leino, and W. Schulte.CASSIS, volume 3362 of Lecture Notes in Computer Science, page 49-69. Springer, (2004)
Meta data
- BibTeX key
- conf/cassis/BarnettLS04
- entry type
- inproceedings
- booktitle
- CASSIS
- year
- 2004
- pages
- 49-69
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 3362
- crossref
- conf/cassis/2004
- ee
- https://doi.org/10.1007/978-3-540-30569-9_3
- isbn
- 3-540-24287-2
- url
- http://dblp.uni-trier.de/db/conf/cassis/cassis2004.html#BarnettLS04
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%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
}