Semi-automated Reasoning About Non-determinism in C Expressions

Find Full text
Thumbnail
Fulltext:
204621.pdf
Embargo:
until further notice
Size:
499.1Kb
Format:
PDF
Description:
Author’s version preprint
Thumbnail
Fulltext:
204621pos.pdf
Size:
499.2Kb
Format:
PDF
Description:
Author’s version postprint
Download
Publication year
2019
Author(s)
Frumin, D.
Gondelman, L.
Krebbers, R.
Publisher
Cham : Springer International Publishing
ISBN
9783030171841
In
Lecture Notes in Computer Science, (2019)Caires, L. (ed.), Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings, pp. 60-87
ISSN
DOI
Annotation
Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019
Publication type
Article in monograph or in proceedings
If a DOI or any other persistent identifier is unavailable, please use the following repository identifier to link to this item: https://hdl.handle.net/2066/204621   https://hdl.handle.net/2066/204621
Display more details

Upload full text

Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.