Formal Methods for Executable Software Models (14th International School on Formal Methods for the Design of Computer, Communication, and Software)

Name: Formal Methods for Executable Software Models (14th International School on Formal Methods for the Design of Computer, Communication, and Software)
ISBN: 9783319073163

Marco Bernardo , Ferruccio Damiani , Reiner Haehnle