5th FormaliSE@ICSE 2017: Buenos Aires, Argentina

Invited Paper

Security Analysis

Security Verification

Requirements

Quantitative Modeling and Analysis

Verification and Testing

a service of Schloss Dagstuhl - Leibniz Center for Informatics