Accès aux Contact | Référence BibTex | Référence EndNote |


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


Kenneth Johnson
Loic Besnard
Thierry Gautier
Jean-Pierre Talpin

Référence BibTex

   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.