1. FormaliSE@ICSE 2013: San Francisco, CA, USA

Keynote

Specification

Verification

Application of Formal Methods

Timed Systems

maintained by Schloss Dagstuhl LZI at University of Trier