Formal methods for dynamic systems: 13th International School on formal methods for the design of computer, communication and software systems, SFM 2013, Bertinoro, Italy, 17-22 June 2013. Advanced Lectures
Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures