FM 2008: Formal Methods [Risorsa elettronica] : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings / edited by Jorge Cuellar, Tom Maibaum, Kaisa Sere
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2008
ISBN
9783540682370
Collana
Lecture Notes in Computer Science , 0302-9743 ; 5014