Sign in
Join Literal
Software Safety and Security
Orna Grumberg
Want to read
Sign up to use
Orna Grumberg
Software Safety and Security
Tools for Analysis and Verification
Orna Grumberg,
Tobias Nipkow,
Benedikt Hauptmann,
NATO Emerging Security Challenges Division
Want to read
Sign up to use
Want to read
Sign up to use
Overview
Reviews
Highlights
Editions
Deep cut – we couldn't find a description for this book.
Discover more books like Software Safety and Security
