Items where authors include "Kulik, Tomas"

Up a level
Export as [feed] Atom [feed] RSS
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 Sun Apr 28 02:28:05 2024 BST.