bild
School of
Computer Science
and Communication
KTH / CSC / TCS / People / Pedro / STaVe

STaVe: SyncTask Verifier STaVe is developed jointly between a group of reseachers in KTH Royal Institute of Technology and University of Twente.

The current member are:

- Pedro de Carvalho Gomes
- Dilian Gurov
- Marieke Huisman

Last Modified: October 05 2015.