×

Found 2 Documents (Results 1–2)

Challenges in the specification of full contracts. (English) Zbl 1211.68251

Leuschel, Michael (ed.) et al., Integrated formal methods. 7th international conference, IFM 2009, Düsseldorf, Germany, February 16–19, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00254-0/pbk). Lecture Notes in Computer Science 5423, 292-306 (2009).
MSC:  68Q60 03B45
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

Year of Publication

Main Field

Software