Participants in RvABS: Runtime Verification for ABS Product Lines

From the University of Oslo

Name Phone E-mail Tags
Volker Stolz Associate Professor +47-22852438 stolz@ifi.uio.no UML, formal methods, model transformation
Ka I Pun Associate Professor +47-22840062 violet@ifi.uio.no

Other participants