Formal Methods for Discrete-Time Dynamical Systems
-
inbunden
,
Engelska, 2017