EPIC Workshop: PI and formal methods/security/safety (live Internet broadcast to Denmark and France)
- Aichernig, B. (Speaker)
Activity: Talk or presentation › Invited talk › Science to science
Activity: Talk or presentation › Invited talk › Science to science