A Simple Sequential Reasoning Approach for Sound Modular...

Electronic Notes in Theoretical Computer Science 2007 Vol. 174; Iss. 9

A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs

Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
174
Année:
2007
Langue:
english
Pages:
25
DOI:
10.1016/j.entcs.2007.04.005
Fichier:
PDF, 388 KB
english, 2007
La conversion en est effectuée
La conversion en a échoué