https://www.bodden.de/clara/"/> https://www.bodden.de/clara/"/> Efficient and Precise Typestate Analysis by Determining Continuation-Equivalent States (bibtex)
Efficient and Precise Typestate Analysis by Determining Continuation-Equivalent States (bibtex)
@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},
}
Powered by bibtexbrowser