Not registered as user yet

Name:Jasmin Fisher
Affiliation:Microsoft Research

Contributions

VMCAI 2017 Author of Verification of Cancer Programs within the VMCAI-track