johnson:2010:inria-00492694:2

Kenneth Johnson, Loic Besnard, Thierry Gautier, Jean-Pierre Talpin. A Synchronous Approach to Threaded Program Verification. Rapport de recherche INRIA, Juin 2010.

Contact

Kenneth Johnson
Loic Besnard
Thierry Gautier
Jean-Pierre Talpin

Référence BibTex

@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}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)

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