%0 Conference Paper %1 conf/sas/FieldGRY03 %A Field, John %A Goyal, Deepak %A Ramalingam, G. %A Yahav, Eran %B SAS %D 2003 %E Cousot, Radhia %I Springer %K dblp %P 439-462 %T Typestate Verification: Abstraction Techniques and Complexity Results. %U http://dblp.uni-trier.de/db/conf/sas/sas2003.html#FieldGRY03 %V 2694 %@ 3-540-40325-6

@inproceedings{conf/sas/FieldGRY03, added-at = {2017-05-24T00:00:00.000+0200}, author = {Field, John and Goyal, Deepak and Ramalingam, G. and Yahav, Eran}, biburl = {https://www.bibsonomy.org/bibtex/2e005123bc8c3ead43a1ad6fa0510f199/dblp}, booktitle = {SAS}, crossref = {conf/sas/2003}, editor = {Cousot, Radhia}, ee = {https://doi.org/10.1007/3-540-44898-5_25}, interhash = {fb95da6b204d4380058ab2f725a9449a}, intrahash = {e005123bc8c3ead43a1ad6fa0510f199}, isbn = {3-540-40325-6}, keywords = {dblp}, pages = {439-462}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:44:38.000+0200}, title = {Typestate Verification: Abstraction Techniques and Complexity Results.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2003.html#FieldGRY03}, volume = 2694, year = 2003 }