Deakin University / All Locations

Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-2 of 2)
Falaschi, Moreno,
1 2015 Logic-based program synthesis and transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised selected papers LOPSTR (Symposium) (25th : 2015 : Siena, Italy) Cham : Springer, 2015 Rating: Electronic Resources More...
2 1993 Static Analysis : Third International Workshop, WSA '93 Padova, Italy, September 22-24, 1993 Proceedings Workshop on Static Analysis (3rd : 1993 : Padova, Italy) Berlin : Springer-Verlag, 1993 Rating: Electronic Resources
Add Marked to Bag Add All On Page Locate in results

Logic-based program synthesis and transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised selected papers