VMCAI

International Conference on Verification, Model Checking, and Abstract Interpretation

  1. 2012

    VMCAI 2012

    • 22-24 January
    • Philadelphia, PA, USA