Report - Softwaretechnik 2015/2016 · 2016. 1. 28. · formale Spezifikation vs. tatsächliche Anforderungen formale Beweise können Fehler enthalten falsche Annahmen als Ausgangssituation

Please pass captcha verification before submit form