Advanced Lectures on Formal Methods for Executable Software Models

Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, (Eds)

June, 2014

Abstract

Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Type

Publication

LNCS 8483. © Springer 2014.