Inproceedings,
Effective typestate verification in the presence of aliasing.
S. Fink, E. Yahav, N. Dor, G. Ramalingam, and E. Geay.ISSTA, page 133-144. ACM, (2006)
Meta data
- BibTeX key
- conf/issta/FinkYDRG06
- entry type
- inproceedings
- booktitle
- ISSTA
- year
- 2006
- pages
- 133-144
- publisher
- ACM
- crossref
- conf/issta/2006
- ee
- https://doi.org/10.1145/1146238.1146254
- isbn
- 1-59593-263-1
- url
- http://dblp.uni-trier.de/db/conf/issta/issta2006.html#FinkYDRG06
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/issta/FinkYDRG06
%A Fink, Stephen J.
%A Yahav, Eran
%A Dor, Nurit
%A Ramalingam, G.
%A Geay, Emmanuel
%B ISSTA
%D 2006
%E Pollock, Lori L.
%E Pezzè, Mauro
%I ACM
%K dblp
%P 133-144
%T Effective typestate verification in the presence of aliasing.
%U http://dblp.uni-trier.de/db/conf/issta/issta2006.html#FinkYDRG06
%@ 1-59593-263-1
@inproceedings{conf/issta/FinkYDRG06,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Fink, Stephen J. and Yahav, Eran and Dor, Nurit and Ramalingam, G. and Geay, Emmanuel},
biburl = {https://www.bibsonomy.org/bibtex/201344623492d169c1bd8fa30b6ca8971/dblp},
booktitle = {ISSTA},
crossref = {conf/issta/2006},
editor = {Pollock, Lori L. and Pezzè, Mauro},
ee = {https://doi.org/10.1145/1146238.1146254},
interhash = {446b02c0c3a90043fa450078fbf03153},
intrahash = {01344623492d169c1bd8fa30b6ca8971},
isbn = {1-59593-263-1},
keywords = {dblp},
pages = {133-144},
publisher = {ACM},
timestamp = {2024-04-09T20:41:38.000+0200},
title = {Effective typestate verification in the presence of aliasing.},
url = {http://dblp.uni-trier.de/db/conf/issta/issta2006.html#FinkYDRG06},
year = 2006
}