Cand.Scient. Jan Pettersen Nytun ved Institutt for informatikk avholder prøveforelesning over oppgitt emne: Formal Methods in Software Engineering -- Current Trends and Challenges
Tid og sted:,
Lille auditorium, Informatikkbygningen, Gaustadalléen 23