Jump to : Contact | BibTex reference | EndNote reference |

Jea10

Bertrand Jeannet. Some Experience on the Software Engineering of Abstract Interpretation Tools. In Int. Workshop on Tools for Automatic Program AnalysiS, TAPAS'2010, ENTCS, Volume 267, Pages 29-42, 2010.

Contact

Bertrand Jeannet http://pop-art.inrialpes.fr/people/bjeannet/

BibTex Reference

@InProceedings{Jea10,
   Author = {Jeannet, Bertrand},
   Title = {Some Experience on the Software Engineering of Abstract Interpretation Tools},
   BookTitle = {Int. Workshop on Tools for Automatic Program AnalysiS, TAPAS'2010},
   Volume = {267},
   Number = {2},
   Pages = {29--42},
   Series = {ENTCS},
   Publisher = {Elsevier},
   Year = {2010}
}

EndNote Reference [help]

Get EndNote Reference (.ref)