Not registered as user yet

Name: Jasmin Fisher

Affiliation: Microsoft Research

Personal website: https://www.microsoft.com/en-us/research/people/jfisher/

Contributions

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