<?xml version="1.0"?>
<dblp>
<article key="journals/scp/FieldGRY05" mdate="2006-01-10">
<author>John Field</author>
<author>Deepak Goyal</author>
<author>Ganesan Ramalingam</author>
<author>Eran Yahav</author>
<title>Typestate verification: Abstraction techniques and complexity results.</title>
<pages>57-82</pages>
<year>2005</year>
<volume>58</volume>
<journal>Sci. Comput. Program.</journal>
<number>1-2</number>
<ee>http://dx.doi.org/10.1016/j.scico.2005.02.004</ee>
<url>db/journals/scp/scp58.html#FieldGRY05</url>
</article>
</dblp>
