Login / Signup

John Mangino

Publication Activity (10 Years)

Years Active: 2015-2015
Publications (10 Years): 1

Top Topics

Metamodel
Formal Verification
Model Checker
Business Process Models

Top Venues

P&D@MoDELS
Publications