%0 Journal Article %1 journals/scp/FieldGRY05 %A Field, John %A Goyal, Deepak %A Ramalingam, Ganesan %A Yahav, Eran %D 2005 %J Sci. Comput. Program. %K dblp %N 1-2 %P 57-82 %T Typestate verification: Abstraction techniques and complexity results. %U http://dblp.uni-trier.de/db/journals/scp/scp58.html#FieldGRY05 %V 58

@article{journals/scp/FieldGRY05, added-at = {2021-02-17T00:00:00.000+0100}, author = {Field, John and Goyal, Deepak and Ramalingam, Ganesan and Yahav, Eran}, biburl = {https://www.bibsonomy.org/bibtex/218a666d868fc600c77a0e1f51119c32c/dblp}, ee = {https://doi.org/10.1016/j.scico.2005.02.004}, interhash = {8e1584987f57a353ae853a32df54a579}, intrahash = {18a666d868fc600c77a0e1f51119c32c}, journal = {Sci. Comput. Program.}, keywords = {dblp}, number = {1-2}, pages = {57-82}, timestamp = {2024-04-09T05:27:23.000+0200}, title = {Typestate verification: Abstraction techniques and complexity results.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp58.html#FieldGRY05}, volume = 58, year = 2005 }