CITATION STYLE
Lotz, V. (2000). Ein methodischer Rahmen zur formalen Entwicklung sicherer Systeme. In Systemsicherheit (pp. 17–28). Vieweg+Teubner Verlag. https://doi.org/10.1007/978-3-322-84957-1_2
Mendeley helps you to discover research relevant for your work.