Synthesis of Programs in Computational Logic | D. Basin, Y. DeVille, P. Flener, A. Hamfelt, J. Fischer NIlsson
| | Type | Book [Chapter] | | Book title | Program Development in Computational Logic, Lecture Notes in Computer Science LNCS 3049 | | Editors | M. Bruynooghe and K.-K. Lau | | Year | 2004 | | Publisher | Springer | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|