@article{705384,
      note = {Includes author index.},
      author = {Bernardo, Marco, and Damiani, Ferruccio, and Hähnle,  Reiner, and Johnsen, Einar Broch, and Schaefer, Ina,},
      url = {http://library.usi.edu/record/705384},
      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 /  [electronic resource] :. International School on Formal  Methods for the Design of Computer, Communication, and  Software Systems},
      publisher = {Springer,},
      recid = {705384},
      pages = {1 online resource :},
      address = {Cham :},
      year = {2014},
}