×

zbMATH — the first resource for mathematics

Found 8 Documents (Results 1–3)

Kroening, Daniel (ed.) et al., Computer aided verification. 27th international conference, CAV 2015, San Francisco, CA, USA, July 18--24, 2015. Proceedings. Part II. Cham: Springer (ISBN 978-3-319-21667-6/pbk; 978-3-319-21668-3/ebook). Lecture Notes in Computer Science 9207, 180-197 (2015).
MSC:  68N19
BibTeX Cite
Full Text: DOI
WorldCat.org
Vitek, Jan (ed.), Programming languages and systems. 24th European symposium on programming, ESOP 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11--18, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-46668-1/pbk; 978-3-662-46669-8/ebook). Lecture Notes in Computer Science 9032, 105-131 (2015).
MSC:  68N30 68P05
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software