Summary
This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.
Authors: Ben Simner, Shaked Flur, Christopher Pulte, Alasdair Armstrong, Jean Pichon-Pharabod, Luc Maranget, Peter Sewell
Journal title: Programming Languages and Systems - 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
Journal number: 12075
Journal publisher: Springer International Publishing
Published year: 2020
Published pages: 626-655
DOI identifier: 10.1007/978-3-030-44914-8_23
ISBN: 978-3-030-44913-1
Search
Organisations
- Not specified