Formal Methods: Applications and Technology [Risorsa elettronica] : 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers / edited by Lubo
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2007
ISBN
9783540709527
Collana
Lecture Notes in Computer Science , 0302-9743 ; 4346