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

M. Bernardo (Editor), E.P. Vink, de (Editor), A. Di Pierro (Editor), H. Wiklicky (Editor)

Research output: Book/ReportBook editingAcademic

1 Citation (Scopus)

Fingerprint

Dive into the research topics of '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'. Together they form a unique fingerprint.

Computer Science

Mathematics