Marco Bernardo
No biography available.
Works (7)
Formal Methods for Executable Software Models
Formal Methods for Dynamical Systems
Formal Methods for Multicore Programming
Formal Methods for Model-Driven Engineering
Formal Methods For Modeldriven Engineering 12th International School On Formal Methods For The Design Of Computer Communication And Software Systems Sfm 2012 Bertinoro Italy June 1823 2012 Advanced Lectures
Formal Methods for Dynamical Systems
Formal Methods for Eternal Networked Software Systems