Items where authors include "Kulik, Tomas"

[up] Up a level
Jump to: Article | Preprint
Number of items: 2.

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

Preprint

Woodcock, Jim orcid.org/0000-0001-7955-2702, Aranha, Diego F., Hallerstede, Stefan et al. (7 more authors) (2023) State of the Art Report:Verified Computation. [Preprint]

This list was generated on Wed Apr 2 10:25:00 2025 BST.