Autor: Andre Platzer, 1 titlu

Logical Foundations of Cyber-Physical Systems

Andre Platzer