5. ESSoS 2013: Paris, France

Secure Programming

Policies

Proving

Formal Methods

Analyzing

maintained by Schloss Dagstuhl LZI at University of Trier