Contact Markus Roggenbach

From: André Platzer: Logical foundations of cyber-physical systems

Contact corresponding author