×

zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–3)

LIPIcs – Leibniz International Proceedings in Informatics 121. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-092-7). xx, 52 articles, not consecutively paged, electronic only, open access (2018).
BibTeX Cite
Full Text: DOI Link
Bernardo, Marco (ed.) et al., Formal methods for executable software models. 14th international school on formal methods for the design of computer, communication, and software systems, SFM 2014, Bertinoro, Italy, June 16–20, 2014. Advanced lectures. Berlin: Springer (ISBN 978-3-319-07316-3/pbk). Lecture Notes in Computer Science 8483, 122-171 (2014).
MSC:  68N30 68Q60
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
Author
Year of Publication
Classification
Software