Formal Methods for Executable Software Models
de Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer
de Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer
Springer London, Limited · inglés · ISBN 9783319073170
Springer · ISBN 9783319073163
