Block-Based Models and Theorem Proving in Model-Based Development

Cinzia Bernardeschi, Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri. Block-Based Models and Theorem Proving in Model-Based Development. ECEASST, 79, 2020. [doi]

Authors

Cinzia Bernardeschi

This author has not been identified. Look up 'Cinzia Bernardeschi' in Google

Andrea Domenici

This author has not been identified. Look up 'Andrea Domenici' in Google

Adriano Fagiolini

This author has not been identified. Look up 'Adriano Fagiolini' in Google

Maurizio Palmieri

This author has not been identified. Look up 'Maurizio Palmieri' in Google