Options
2008
Report
Titel
Specification and Security-Analysis of an Application using the SHVT. Tutorial
Verlag
Fraunhofer SIT
Verlagsort
Darmstadt