EU COST Action IC0701, Formal Verification of Object-Oriented Software (Ekstern organisation)

    Aktivitet: Præsentationer, medlemskaber, ejerskab og andre aktiviteter › Medlem af forskningsnetværk

    Beskrivelse

    Navn: Management Committee member
    Periode11 mar. 2008 → 10 mar. 2012
    Sted for afholdelseEU COST Action IC0701, Formal Verification of Object-Oriented Software
    Grad af anerkendelseInternational