Showing a limited preview of this publication:
Published Online: 1986-05
Published in Print: 1986-05
© 2013 Oldenbourg Wissenschaftsverlag GmbH, Rosenheimer Str. 145, 81671 München
Licensed
Unlicensed
Requires Authentication
Formale Methoden in der Softwareentwicklung am Beispiel EDV-Sicherheit
Formal Methods in Software Development applied to ADP-Security
From the journal it - Information Technology
