https://www.bodden.de/clara/"/> https://www.bodden.de/clara/"/>
@TechReport{Clara1, author = {Eric Bodden}, title = {Efficient and Precise Typestate Analysis by Determining Continuation-Equivalent States}, institution = {\url{https://www.bodden.de/clara/}}, year = {2009}, number = {Clara-1}, Url = {https://www.bodden.de/pubs/tr-clara-1.pdf}, keywords = {clara}, }