Login / Signup
Xavier Crégut
Publication Activity (10 Years)
Years Active: 1997-2016
Publications (10 Years): 3
Top Topics
Metamodel
Declarative Language
Formal Verification
Modeling Language
Top Venues
EXE@MoDELS
ISoLA (2)
MEDI
CoRR
</>
Publications
</>