Library Catalog | Simmons University - "Computer security."

1

Software safety and security tools for analysis and verification /

Software safety and security tools for analysis and verification / edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.

Published 2012

Subjects: “...Computer security -- Congresses....”

Access E-Book

Electronic Conference Proceeding eBook