Deltakere i GoRETech: Go Runtime Enforcement Techniques

Fra UiO

Navn	Telefon	E-post	Emneord
Ka I Pun Førsteamanuensis	+47 22840062	violet@ifi.uio.no
Martin Steffen Professor	+47 22850417	msteffen@ifi.uio.no
Volker Stolz Førsteamanuensis	+47 22852438	stolz@ifi.uio.no	programming languages, programmeringsspråk, formal methods, model transformation, UML, QVT, Haskell, FreeBSD, object-orientation, verification