Logic Based Program Synthesis and Transformation [Risorsa elettronica] : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 28, 2004, Revised Selected Papers / edited by Sandro Etalle
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2005
ISBN
9783540316831
Collana
Lecture Notes in Computer Science , 0302-9743 ; 3573