×

zbMATH — the first resource for mathematics

Found 5 Documents (Results 1–3)

Ahmed, Amal (ed.), Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10801, 739-767 (2018).
MSC:  68N15 91A80
BibTeX Cite
Full Text: DOI
Chaudhuri, Swarat (ed.) et al., Computer aided verification. 28th international conference, CAV 2016, Toronto, ON, Canada, July 17–23, 2016. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 9779, 3-22 (2016).
MSC:  68N30 60G42
BibTeX Cite
Full Text: DOI
Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 733-747 (2016).
MSC:  68Q85 05C85 68N30
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Year of Publication
Classification
Software