Login / Signup
Roland Lezuo
Publication Activity (10 Years)
Years Active: 2012-2015
Publications (10 Years): 0
Top Topics
Database Languages
State Machines
Denotational Semantics
Formal Proof
Top Venues
RAPIDO
SYNASC
LCTES
ABZ
</>
Publications
</>