|
ComputingReviews.com
|
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 |
|
|
|
|
|
|
|
|
Use your personal or institutional subscription to read the fulltext of the article.
|
|
|
|
|
|
|
|
|
|
|
|