Tools and Algorithms for the Construction and Analysis of Systems [Risorsa elettronica] : 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2007
ISBN
9783540712091
Collana
Lecture Notes in Computer Science , 0302-9743 ; 4424