Milos Milic

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 1

Top Topics

Symbolic Execution

Requirements Specification

Specification Language

Software Architecture

Top Venues

Comput. Informatics

Publications