HVC 2011 Haifa Verification Conference 2011 December 6-8, 2011 (Ulkoinen yksikkö)

  • Mika Esaias Katara (Reviewer)

    Aktiviteetti: Palkintolautakunnan jäsenyys

    Description

    Member of HVC Award Committee
    Aikajakso2011
    PidettyHVC 2011 Haifa Verification Conference 2011 December 6-8, 2011

    Country of activity

    • Israel

    Publication forum classification

    • Ei tasoa