Transition predicate abstraction and fair termination

ACM Transactions on Programming Languages and Systems 2007 / 05 Vol. 29; Iss. 3

Transition predicate abstraction and fair termination

Podelski, Andreas, Rybalchenko, Andrey
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:
29
Langue:
english
Journal:
ACM Transactions on Programming Languages and Systems
DOI:
10.1145/1232420.1232422
Date:
May, 2007
Fichier:
PDF, 525 KB
english, 2007
La conversion en est effectuée
La conversion en a échoué