Formal Methods for Discrete-Time Dynamical SystemsCalin Belta, Boyan Yordanov, Ebru Aydin Gol · First published 2017Open the Tome
