Formal Methods for Executable Software Models

MLA

Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, et al. Formal Methods for Executable Software Models. Springer International Publishing, 2014.

APA

Marco Bernardo, I. Schaefer, Damiani, F., Haehnle, R., Johnsen, E. Broch, & Schaefer, I. (2014). Formal Methods for Executable Software Models. Springer International Publishing.

Chicago

Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, and Ina Schaefer. Formal Methods for Executable Software Models. : Springer International Publishing, 2014.