Projects per year
Projects
Search results
-
Finished
-
TPA: Theory and Practice of Automata and Logics
SCHOBBENS, P., CORDY, M., KANG, E. & ORTIZ VEGA, J. J.
1/01/11 → 31/12/14
Project: Research
-
VLPL: Software Product Lines Verification
HEYMANS, P., SCHOBBENS, P., Classen, A., CORDY, M., KANG, E. & Legay, A.
1/01/11 → 1/01/13
Project: Research
-
Active
CFV: Federated Centre for Software Verification
SCHOBBENS, P., Bontemps, Y., ORTIZ VEGA, J. J. & KANG, E.
1/10/99 → …
Project: Research