Login / Signup

Jaroslav Kalous

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Static Analysis
Complex Systems
High Level
Database

Top Venues

LASCAS
Publications