Johan Dovland disputerer 4. juni
ved Institutt for informatikk vil forsvare sin avhandling for graden ph.d. (philosophiae doctor)Dovland vil forsvare sin avhandling"Incremental Reasoning about Distributed Object-Oriented Systems"4. jun. 2009 09:30, Auditorium 2, Helga Engs hus3. jun. 2009 16:15 (Auditorium 3, Helga Engs hus) - Shape analysis for program verificationSe full annonsering.
Publisert 15. feb. 2011 09:59