AboutSign inJoin
Software Safety and Security

Software Safety and Security Tools for Analysis and Verification

Orna Grumberg, Tobias Nipkow, Benedikt Hauptmann, NATO Emerging Security Challenges Division — 2012

Deep cut – we couldn't find a description for this book.

Sign up to use