Login / Signup
John Mangino
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Metamodel
Formal Verification
Model Checker
Business Process Models
Top Venues
P&D@MoDELS
</>
Publications
</>