QUOVADIS@ICSE 2010: Cape Town, South Africa

Quantitative quality assessment

Model checking

maintained by Schloss Dagstuhl LZI at University of Trier