Baptiste Parquier

Publication Activity (10 Years)

Years Active: 2016-2017
Publications (10 Years): 2

Top Topics

Artifact Centric

Automated Verification

Reactive Systems

Top Venues

Publications