http://www.bodden.de/clara/"/> http://www.bodden.de/clara/"/> Clara: a framework for implementing hybrid typestate analyses (bibtex)
Clara: a framework for implementing hybrid typestate analyses (bibtex)
@TechReport{Clara2,
  author = 	 {Eric Bodden},
  title = 	 {Clara: a framework for implementing hybrid typestate analyses},
  institution =  {\url{http://www.bodden.de/clara/}},
  year = 	 {2009},
  number = 	 {Clara-2},
  Url = {http://www.bodden.de/pubs/tr-clara-2.pdf},
  keywords = {clara},
}
Powered by bibtexbrowser