×

zbMATH — the first resource for mathematics

Found 513 Documents (Results 1–100)

100
MathJax
Cerone, Antonio (ed.) et al., Software engineering and formal methods. SEFM 2017 collocated workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4–5, 2017. Revised selected papers. Cham: Springer (ISBN 978-3-319-74780-4/pbk; 978-3-319-74781-1/ebook). Lecture Notes in Computer Science 10729, 86-100 (2018).
MSC:  91D30 68Q45 92C20
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Software