Not registered as user yet

Name: Jasmin Fisher

Affiliation: Microsoft Research

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

POPL 2017 Activities

• Author of Verification of Cancer Programs within the VMCAI-track in VMCAI 2017
• Show activities from other conferences