Inproceedings,
Class-local object invariants.
K. Leino, and A. Wallenburg.ISEC, page 57-66. ACM, (2008)
Meta data
- BibTeX key
- conf/indiaSE/LeinoW08
- entry type
- inproceedings
- booktitle
- ISEC
- year
- 2008
- pages
- 57-66
- publisher
- ACM
- crossref
- conf/indiaSE/2008
- ee
- https://doi.org/10.1145/1342211.1342225
- isbn
- 978-1-59593-917-3
- url
- http://dblp.uni-trier.de/db/conf/indiaSE/isec2008.html#LeinoW08
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/indiaSE/LeinoW08
%A Leino, K. Rustan M.
%A Wallenburg, Angela
%B ISEC
%D 2008
%E Shroff, Gautam
%E Jalote, Pankaj
%E Rajamani, Sriram K.
%I ACM
%K dblp
%P 57-66
%T Class-local object invariants.
%U http://dblp.uni-trier.de/db/conf/indiaSE/isec2008.html#LeinoW08
%@ 978-1-59593-917-3
@inproceedings{conf/indiaSE/LeinoW08,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Leino, K. Rustan M. and Wallenburg, Angela},
biburl = {https://www.bibsonomy.org/bibtex/228f8d066f8bd797131dc4d7f5a17f09f/dblp},
booktitle = {ISEC},
crossref = {conf/indiaSE/2008},
editor = {Shroff, Gautam and Jalote, Pankaj and Rajamani, Sriram K.},
ee = {https://doi.org/10.1145/1342211.1342225},
interhash = {af92d7394739b919e5efbd28c9115961},
intrahash = {28f8d066f8bd797131dc4d7f5a17f09f},
isbn = {978-1-59593-917-3},
keywords = {dblp},
pages = {57-66},
publisher = {ACM},
timestamp = {2024-04-09T10:04:47.000+0200},
title = {Class-local object invariants.},
url = {http://dblp.uni-trier.de/db/conf/indiaSE/isec2008.html#LeinoW08},
year = 2008
}