13. SEFM 2015: York, UK

Invited Papers

Program Verification

Testing

Certification

Formal Specification and Proof

Testing and Model Checking

Planning

Modelling and Model Transformation

maintained by Schloss Dagstuhl LZI at University of Trier