×

zbMATH — the first resource for mathematics

Found 20 Documents (Results 1–20)

100
MathJax
Steffen, Bernhard (ed.) et al., SOFSEM 2017: theory and practice of computer science. 43rd international conference on current trends in theory and practice of computer science, Limerick, Ireland, January 16–20, 2017, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10139, 49-61 (2017).
MSC:  68Q60 03B44 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Ábrahám, Erika (ed.) et al., Integrated formal methods. 12th international conference, IFM 2016, Reykjavik, Iceland, June 1–5, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-33692-3/pbk; 978-3-319-33693-0/ebook). Lecture Notes in Computer Science 9681, 160-175 (2016).
MSC:  68Q60 68Q45 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Meyer, Roland (ed.) et al., Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8–9, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9360, 238-259 (2015).
MSC:  68Q60 68Q45 68Q85
PDF BibTeX XML Cite
Full Text: DOI
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. Lect. Notes Comput. Sci. 8483, 310-342 (2014).
MSC:  68N30 68Q60
PDF BibTeX XML Cite
Full Text: DOI