skip to main content
Lingue:

FM 2008: formal methods : 15th International Symposium on Formal Methods Turku, Finland, May 2008 proceedings

CUELLAR, Jorge ; MAIBAUM, Tom ; SERE, Kaisa ; International Symposium on Formal Methods <15. ; 2008 ; Turku>

Berlinetc. : Springer, copyr. 2008

Disponibile in Biblioteca Polo Scientifico e Tecnologico  Area Scientifica  39USA_INST:2162880270003316()

Ricerca in corso nelle risorse remote ...