Prøveforelesning: Anne Marie Hegland

siv. ing. Anne Marie Hegland ved Institutt for informatikk avholder prøveforelesning over oppgitt emne: The practical feasibility of formal methods to prove the correctness of security protocols

Tid og sted: 20. apr. 2007 10:15, Auditoriet, UniK, Kjeller

Disputas

Se disputas

Kontaktperson

For mer informasjon, kontakt Narve Trædal.

Publisert 11. apr. 2012 11:33