Software Verification with Next Generation DisCo Specifications

    Aktiviteetti: Konferenssiesitelmä

    Description

    Contributors: Nummenmaa Timo
    Aikajakso22 elok. 2012
    Tapahtuman otsikkoSoftware Quality Management 2012
    Tapahtuman tyyppiOther
    Tunnustuksen arvoInternational