×

Found 3 Documents (Results 1–3)

Encoding OCL data types for SAT-based verification of UML/OCL models. (English) Zbl 1335.68070

Gogolla, Martin (ed.) et al., Tests and proofs. 5th international conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21767-8/pbk). Lecture Notes in Computer Science 6706, 152-170 (2011).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software