Recent Trends in Algebraic Development Techniques [Risorsa elettronica] : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers / edited by Andrea Corradini, Ugo Montanari
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2009
ISBN
9783642034299
Collana
Lecture Notes in Computer Science , 0302-9743 ; 5486