Verification, Model Checking, and Abstract Interpretation (VMCAI)
- Robert Könighofer (Speaker)
Activity: Talk or presentation › Talk at conference or symposium › Science to science
Activity: Talk or presentation › Talk at conference or symposium › Science to science