La lecture à portée de main
Auteur
Suivre P. Fontaine
Documents
Decision Procedures for the Formal Analysis of Software [3mm ...
D. Déharbe, P. Fontaine, Silvio Ranise, C. Ringeissen
Documents
Savoirs
Decision Procedures for the Formal Analysis of Software [3mm ...
D. Déharbe, P. Fontaine, Silvio Ranise, C. Ringeissen
24 pages
English