Guaranteeing the Soundness of Rely/guarantee Rules
Auteur : J. W. Coleman
Date de publication : 2006
Éditeur : University of Newcastle upon Tyne, Computing Science
Nombre de pages : 46
Résumé du livre
Aucun résumé disponible pour ce livre.
Auteur : J. W. Coleman
Date de publication : 2006
Éditeur : University of Newcastle upon Tyne, Computing Science
Nombre de pages : 46
Aucun résumé disponible pour ce livre.