System FR: formalized foundations for the stainless verifier
- Hamza, Jad EPFL, Switzerland
- Voirol, Nicolas EPFL, Switzerland
- Kunčak, Viktor EPFL, Switzerland
Published in:
- Proceedings of the ACM on Programming Languages. - Association for Computing Machinery (ACM). - 2019, vol. 3, no. OOPSLA, p. 1-30
- Language
-
- English
- Open access status
- gold
- Identifiers
-
- DOI 10.1145/3360592
- ISSN 2475-1421
- Persistent URL
- https://sonar.ch/global/documents/214799
Statistics
Document views: 30
File downloads:
- Full-text: 0