LOPSTR 2008 ((2008 :)
Overview
| Works: | 4 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Logic-based program synthesis and transformation = 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, revised selected papers /
by:
Hanus, Michael.; SpringerLink (Online service); LOPSTR 2008 ((2008 :)
(Language materials, printed)