Kenneth Johnson, Loic Besnard, Thierry Gautier, Jean-Pierre Talpin. A Synchronous Approach to Threaded Program Verification. In Proceedings of the 2010 10th International Workshop on Automated Verification of Critical Systems, AVOCS '10, Pages 168-183, 2010.
Kenneth Johnson
Loic Besnard
Thierry Gautier
Jean-Pierre Talpin
@InProceedings{Johnson-AVOCS:2010,
Author = {Johnson, Kenneth and Besnard, Loic and Gautier, Thierry and Talpin, Jean-Pierre},
Title = {A Synchronous Approach to Threaded Program Verification},
BookTitle = {Proceedings of the 2010 10th International Workshop on Automated Verification of Critical Systems},
Pages = {168--183},
Series = {AVOCS '10},
Year = {2010}
}
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.