1. SEFM 2003: Brisbane, Australia

Refine list

showing all ?? records

Keynote Speaker 1

Testing

Formal Models for Security

Keynote Speaker 2

Program Verification

Keynote Speaker 3

Integration of Formal and Informal Methods I

Integration of Formal and Informal Methods II

Object-Oriented Modelling

Automated Verification

a service of  Schloss Dagstuhl - Leibniz Center for Informatics