Title |
Formal methods for executable software models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014 : advanced lectures / Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen (Eds.) |
|