Nipkow, Tobias, (1958-)

Software safety and security = tools for analysis and verification / by: Nipkow, Tobias, (1958-); Hauptmann, Benedikt.; NATO Emerging Security Challenges Division.; Grumberg, Orna.; Congress on Progress and Controversies in Oncological Urology (2000:) (Electronic resources)

Formal logical methods for system security and correctness by: Congress on Progress and Controversies in Oncological Urology (2000:); Grumberg, Orna.; Pfaller, Christian.; Nipkow, Tobias, (1958-) (Electronic resources)