@Inproceedings{EPTCS268.2,
  author    = {Garavel, Hubert and Marsso, Lina},
  year      = {2018},
  title     = {Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm},
  editor    = {Gallagher, John P. and Glabbeek, Rob van and Serwe, Wendelin},
  booktitle = {{\rm Proceedings Third Workshop on}
               Models for Formal Analysis of Real Systems {\rm and Sixth International Workshop on} Verification and Program Transformation,
               {\rm Thessaloniki, Greece, 20th April 2018}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {268},
  publisher = {Open Publishing Association},
  pages     = {41-87},
  doi       = {10.4204/EPTCS.268.2},
}