Items where authors include "Dongol, Brijesh"

[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 Sat Oct 4 20:48:30 2025 BST.