Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers /
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2007.
|
| Edition: | 1st ed. 2007. |
| Series: | Theoretical Computer Science and General Issues ;
4407 |
| Subjects: | |
| Online Access: | https://doi.org/10.1007/978-3-540-71410-1 |