LOPSTR 2007 ((2007 :)
Overview
| Works: | 5 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Logic-based program synthesis and transformation = 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers /
by:
King, Andy.; SpringerLink (Online service); LOPSTR 2007 ((2007 :)
(Language materials, printed)