Participants in RvABS: Runtime Verification for ABS Product Lines
From the University of Oslo
| Name | Phone | Tags | |
|---|---|---|---|
Volker Stolz
Associate Professor
|
+47 22852438 | stolz@ifi.uio.no | formal methods, model transformation, UML |
Ka I Pun
|
Other participants
- Eric Bodden
- Kevin Falzon
- Franziska Kühn