Logic-Based Program Synthesis and Transformation
Subtitle: 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers
Publisher: Springer London, Limited
Published: 2006
Language: eng
ISBN-13: 9783540451488