FM 2005: Formal Methods [Risorsa elettronica] : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings / edited by John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2005
ISBN
9783540317142
Collana
Lecture Notes in Computer Science , 0302-9743 ; 3582