zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Etalle, S. (ed.) et al., Proceedings of the international workshop on software verification and validation (SVV 2003), Mumbai, India, December 9–13, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 118, 87-109 (2005).
MSC:  68Q55 68N20
BibTeX Cite
Full Text: Link
Bruynooghe, Maurice (ed.), Logic based program synthesis and transformation. 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25–27, 2003. Revised selected papers. Berlin: Springer (ISBN 3-540-22174-3/pbk). Lecture Notes in Computer Science 3018, 176-177 (2004).
MSC:  68N30 68Q55
BibTeX Cite
Full Text: DOI

Filter Results by …

Year of Publication