Search Results - Peter Würtz Vinther Tran-Jørgensen

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    A Survey of Practical Formal Methods for Security

    A Survey of Practical Formal Methods for Security by Kulik, Tomas, Dongol, Brijesh, Peter Gorm Larsen, Macedo, Hugo Daniel, Schneider, Steve, Peter Würtz Vinther Tran-Jørgensen, Woodcock, Jim

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: