14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20,..
von Marco Bernardo; Ferruccio Damiani; Reiner Haehnle;..
2014
|
Auflage:
1
|
Springer International Publishing
ISBN: 9783319073163