Opinnäytetöiden ohjaus, Pro gradu -tutkielma: µ-kalkyyli - monadisen toisen kertaluvun predikaattilogiikan bisimilaarisesti invariantti fragmentti
- Kuusisto, A. (Examiner)
Activity: Evaluation, examination and supervision › Supervisor of master student