The PaVeS-group is excited to host Ahmed Bouajjani for his research visit at the TUM.
Additionally, Philipp Meyer, Javier Esparza and Philip Offtermatt published the pre-print of their contribution to TACAS’19.
The PaVeS-group is excited to host Ahmed Bouajjani for his research visit at the TUM.
Additionally, Philipp Meyer, Javier Esparza and Philip Offtermatt published the pre-print of their contribution to TACAS’19.