×

zbMATH — the first resource for mathematics

Found 8 Documents (Results 1–8)

100
MathJax
Mazzara, Manuel (ed.) et al., Perspectives of system informatics. 10th international Andrei Ershov informatics conference, PSI 2015, in memory of Helmut Veith, Kazan and Innopolis, Russia, August 24–27, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-41578-9/pbk; 978-3-319-41579-6/ebook). Lecture Notes in Computer Science 9609, 186-202 (2016).
MSC:  68Q85 68Q45 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Beckert, Bernhard (ed.) et al., Formal verification of object-oriented software. International conference, FoVeOOS 2010, Paris, France, June 28–30, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-18069-9/pbk). Lecture Notes in Computer Science 6528, 46-60 (2011).
MSC:  68N30 68Q85
PDF BibTeX XML Cite
Full Text: DOI