Title | |
27/06/23 | MBT and RES @CONCUR |
05/07/22 | FME Industry Committee |
20/06/22 | Best Artefact Award at FORTE |
03/07/21 | In the footsteps of JFG |
07/06/21 | Thomas Neele wins IPA Dissertation Award |
12/06/20 | EATCS best paper award @ ETAPS |
30/12/19 | Three papers at ETAPS |
05/04/19 | Paper at FORTE |
26/01/19 | New mCRL2 Overview Paper Accepted at TACAS |
Copyright © 2018 Tim A.C. Willemse | based on a design by alec gorge