Search Results - Hauptmann, Benedikt

  • Showing 1 - 2 results of 2
Refine Results
  1. 1

    Software safety and security tools for analysis and verification /

    Published 2012
    Other Authors:
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
  2. 2

    Software safety and security tools for analysis and verification /

    Published 2012
    Other Authors:
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook