Author

Reiner Haehnle

1 book found

Cover of Formal Methods for Executable Software Models

Formal Methods for Executable Software Models

Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer · First published 2014