Deltakere i GoRETech: Go Runtime Enforcement Techniques
Fra UiO
| Navn | Telefon | E-post | Emneord |
|---|---|---|---|
Ka I Pun
|
|||
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 |