Petr Bauch

Publication Activity (10 Years)

Years Active: 2010-2016
Publications (10 Years): 4

Top Topics

Linear Time Temporal Logic

Satisfiability Modulo Theories

Software Requirements

Verification Method

Top Venues

Formal Aspects Comput.

ACM Trans. Softw. Eng. Methodol.

Publications