WebASM: An Abstract State Machine Execution Environment for the Web

Simone Zenzaro, Vincenzo Gervasi, Jacopo Soldani
January 2014
Cite DOI
Type
Conference paper
Publication
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

Add the full text or supplementary notes for the publication here using Markdown formatting.