Publikationer av Didrik Lundberg
Refereegranskade
Konferensbidrag
[1]
A. Alshnakat et al., "HOL4P4 : Semantics for a Verified Data Plane," i EuroP4 2022 : Proceedings of the 5th International Workshop on P4 in Europe, Part of CoNEXT 2022, 2022, s. 39-45.
[2]
D. Lundberg et al., "Hoare-Style Logic for Unstructured Programs," i Software Engineering and Formal Methods, 2020, s. 193-213.
Senaste synkning med DiVA:
2024-04-21 04:22:40