Search
Mechanising and verifying the WebAssembly specification
Watt C. CPP 2018 (Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Los Angeles, CA, Jan 8-9, 2018)53-65,2018.Type:Proceedings
To:
Your Colleague's E-mail:
From:
Your E-mail:
Subject:
Reviews: Mechanising and verifying the WebAssembly specification
Message Body:
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy