(1 - 13 von 13
)
ENCRESSFriedrich-Alexander-Universität Erlangen-Nürnberg
www11.informatik.uni-erlangen.de
Torsten Robschink, Jens Krinke Universität Passau "Redundanzarme Generierung von Pfadbedingungen in der Software-Sicherheitstechnik"
sortiert nach Relevanz / Datum