@inproceedings{jfla2022,
  author    = {{\c{C}}agdas Bozman and
               Mohamed Iguernlala and
               Michael Laporte and
               Maxime Levillain and
               Alain Mebsout and
               Sylvain Conchon},
  editor    = {Chantal Keller and
               Timothy Bourke},
  title     = {Jouez {\`a} Faire Consensus Avec {MITTEN} (d{\'e}monstration)},
  booktitle = {Journ{\'e}es Francophones des Langages Applicatifs, {JFLA} 2022},
  address   = {Saint-M{\'e}dard-d'Excideuil, France},
  pages     = {248--250},
  year      = {2022},
  month     = {June},
  url       = {https://inria.hal.science/hal-03626847},
  pdf       = {https://inria.hal.science/hal-03626847v1/file/jfla22_paper_19.pdf},
  hal_id    = {hal-03626847},
  location  = {Saint-M{\'e}dard-d'Excideuil, France}
}