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

Antti Valmari (Examiner)

    Activity: Evaluation, examination and supervisionStatement of assessment of docentship

    Period2012
    Examinee
    Examination held atÅbo Akademi, Department of Information Technologies

    Publication forum classification

    • No publication forum level

    Country of activity

    • Finland