FM 2009: Formal Methods [Risorsa elettronica] : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings / edited by Ana Cavalcanti, Dennis R. Dams
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2009
ISBN
9783642050893
Collana
Lecture Notes in Computer Science , 0302-9743 ; 5850