Items where authors include "Tran-Jørgensen, Peter W.V."

[up] Up a level
Jump to: Article
Number of items: 1.

Article

Kulik, Tomas, Dongol, Brijesh, Larsen, Peter Gorm et al. (4 more authors) (2022) A Survey of Practical Formal Methods for Security. Formal Aspects of Computing. 3522582. ISSN 1433-299X

This list was generated on Tue Jan 20 20:38:07 2026 GMT.