Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Vincenzo Gervasi
Latest
A Lean Reflective Abstract State Machine Definition
WebASM: An Abstract State Machine Execution Environment for the Web
An ASM Model of Concurrency in a Web Browser
Contribution to a Rigorous Analysis of Web Application Frameworks
Cite
×