Activity: Participating in or organising an event types › Participation in conference
Description
Three-month research visit at the Computer Science Department of RWTH Aachen University, Aachen, Germany hosted by the Chair for Software Modelling and Verification headed by Prof. Joost-Pieter Katoen.