Asiantuntijalausunto: Docenturen i datavetenskap, särskilt mekanisk verifiering av programvarusystem

  • Antti Valmari (Examiner)

    Aktiviteetti: Dosentuurin hakijan arviointitehtävä

    Aikajakso2012
    Tutkimuksen ajankohta
    • Åbo Akademi, Department of Information Technologies

    Country of activity

    • Suomi

    Publication forum classification

    • Ei tasoa