Keywords
- formal methods
- computer aided design
International Conference on Formal Methods in Computer-Aided Design
- Keijo Heljanko (Chair)
Activity: Participating in or organising an event types › Organization of a workshop, panel, session, tutorial or event