Formal Methods and Software Engineering [Risorsa elettronica] : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings / edited by Karin Breitman, Ana Cavalcanti
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2009
ISBN
9783642103735
Collana
Lecture Notes in Computer Science , 0302-9743 ; 5885