×

Found 4 Documents (Results 1–4)

Automating algebraic specifications of non-freely generated data types. (English) Zbl 1183.68368

Cha, Sungdeok (Steve) (ed.) et al., Automated technology for verification and analysis. 6th international symposium, ATVA 2008, Seoul, Korea, October 20–23, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-88386-9/pbk). Lecture Notes in Computer Science 5311, 141-155 (2008).
MSC:  68Q60 68Q65 68T15
PDFBibTeX XMLCite
Full Text: DOI

Bounded relational analysis of free data types. (English) Zbl 1138.68446

Beckert, Bernhard (ed.) et al., Tests and proofs. Second international conference, TAP 2008, Prato, Italy, April 9–11, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-79123-2/pbk). Lecture Notes in Computer Science 4966, 99-115 (2008).
MSC:  68Q60 68Q85 68T15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software