Deltakere i GoRETech: Go Runtime Enforcement Techniques

Fra UiO

Navn	Telefon	E-post	Emneord
Martin Steffen Professor	+47-22850417	msteffen@ifi.uio.no
Ka I Pun Førsteamanuensis	+47-22840062	violet@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