All decks Close
All decks 3

  • Code Contracts

    Aug 03, 2021 707 0

  • Formal Verification and Compliance Checkers

    Aug 29, 2020 86 0

  • Research collaboration

    Talk on research collaboration

    Aug 24, 2017 84 0