STS-News

Sefi 2020

Designing and analyzing open application-oriented Labs in Software-Verification Education

The paper "Designing and analyzing open application-oriented Labs in Software-Verification Education" by Antje Rogalla, Timo Kamph, Ulrike Bulmann, Katrin Billerbeck, Mathias Blumreiter and Sibylle Schupp has been accepted at the Sefi2020.
This year, the Sefi Conference will be held online.