Formal Methods and Software Engineering [Risorsa elettronica] : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings / edited by Kung-Kiu Lau, Richard Banach
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2005
ISBN
9783540322504
Collana
Lecture Notes in Computer Science , 0302-9743 ; 3785