johnson:2010:inria-00492694:2

Kenneth Johnson, Loic Besnard, Thierry Gautier, Jean-Pierre Talpin. A Synchronous Approach to Threaded Program Verification. Research Report INRIA, June 2010.

Contact

Kenneth Johnson
Loic Besnard
Thierry Gautier
Jean-Pierre Talpin

BibTex Reference

@TechReport{johnson:2010:inria-00492694:2,
   Author = {Johnson, Kenneth and Besnard, Loic and Gautier, Thierry and Talpin, Jean-Pierre},
   Title = {A Synchronous Approach to Threaded Program Verification},
   Institution = {INRIA},
   Month = {June},
   Year = {2010}
}

EndNote Reference [help]

Get EndNote Reference (.ref)

This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.