Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM ...

Marco Bernardo (ویرایشگر) , Erik de Vink (ویرایشگر) , Alessandra Di Pierro (ویرایشگر)