Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers


Share/Save/Bookmark

Etalle, S. , ed. (2004) Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers. Lecture Notes in Computer Science, 3573 . Springer-Verlag, Berlin. ISBN 9783540266556

[img]
Preview
Cover Image
16Kb
Item Type:Book
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/66510
Official URL:http://dx.doi.org/10.1007/b137785
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page