Jos Baeten elected as Honorary VERSEN member

15-Dec-2023

At the last SEN Symposium, Jos Baeten was award an honorary VERSEN membership for his long lasting contributions to computer science and software modeling and verification. Bas Luttik provided the laudatio (see the Youtube link here).