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