13th SEFM 2015: York, UK

Refine list

showing all ?? records

Invited Papers

Program Verification

Testing

Certification

Formal Specification and Proof

Testing and Model Checking

Planning

Modelling and Model Transformation

a service of  Schloss Dagstuhl - Leibniz Center for Informatics