Formal methods for discrete-time dynamical systems. ([2017]) - Belta, Calin
No abstract available