Activities per year
Activities
- 1 results
Search results
-
A Graphical Guide to Lightweight Block-Level Formal Verification
Meinhard Kissich (Speaker) & Marcel Carsten Baunach (Contributor)
15 Sept 2023 → 17 Sept 2023Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science