Sinisa Vlajic

Publication Activity (10 Years)

Years Active: 2007-2015
Publications (10 Years): 0

Top Topics

Provably Correct

Levels Of Abstraction

Workflow Models

Specification Language

Top Venues

Comput. Informatics

Publications