Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/fm/LeinoM05
%A Leino, K. Rustan M.
%A Müller, Peter
%B FM
%D 2005
%E Fitzgerald, John S.
%E Hayes, Ian J.
%E Tarlecki, Andrzej
%I Springer
%K dblp
%P 26-42
%T Modular Verification of Static Class Invariants.
%U http://dblp.uni-trier.de/db/conf/fm/fm2005.html#LeinoM05
%V 3582
%@ 3-540-27882-6
@inproceedings{conf/fm/LeinoM05,
added-at = {2017-05-22T00:00:00.000+0200},
author = {Leino, K. Rustan M. and Müller, Peter},
biburl = {https://www.bibsonomy.org/bibtex/2520984ffff8203accf0afc1d7acd6766/dblp},
booktitle = {FM},
crossref = {conf/fm/2005},
editor = {Fitzgerald, John S. and Hayes, Ian J. and Tarlecki, Andrzej},
ee = {https://doi.org/10.1007/11526841_4},
interhash = {ccf8f0f53a154d2d3aca85fd5c9d47b5},
intrahash = {520984ffff8203accf0afc1d7acd6766},
isbn = {3-540-27882-6},
keywords = {dblp},
pages = {26-42},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T16:59:14.000+0200},
title = {Modular Verification of Static Class Invariants.},
url = {http://dblp.uni-trier.de/db/conf/fm/fm2005.html#LeinoM05},
volume = 3582,
year = 2005
}