16th TACAS 2010: Paphos, Cyprus (Part of ETAPS 2010)

Refine list

showing all ?? records

Invited Talks

Probabilistic Systems and Optimization

Decision Procedures

Tools I

Automata Theory

Liveness

Tools II

Software Verification

Tools III

Real Time and Information Flow

Testing

a service of  Schloss Dagstuhl - Leibniz Center for Informatics