Mechanising and verifying the WebAssembly specification

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018 ◽

10.1145/3167082 ◽

2018 ◽

Cited By ~ 7

Author(s):

Conrad Watt

Download Full-text