Title | Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers |
---|---|
Author | Germán Vidal (eds.) |
Language | English |
Region | |
Format | |
Pages | 262 |
File Size | 3.0 MB |
Total Download | 1 |