Deltakere in Action IC0701: Formal Verification of Object-Oriented Software

Navn	Telefon	E-post	Emneord
Olaf Owe Professor emeritus	+47 22852449	olaf@ifi.uio.no	informatikk, programmering og nettverk, logikk, sikkerhet, teoretisk databehandling, kvalitetssikring av programvaresystemer, software engineering, modellering av programvaresystemer, analyse av programvaresystemer, formelle metoder, objekt-orientering, parallelle og distribuerte systemer, Programmeringsspråk