publications([{
   "type_publi": "colcomlec",
   "title": "Transformation et vérification de cohérence entre modèles du Génie Logiciel et modèles de l’Interface Homme-Machine",
   "booktitle": "Congrès INFORSID'07 (Perros-Guirec, France, May 2007)",
   "year": 2007,
   "uri": "http://iihm.imag.fr/publication/PM07a/",
   "id": 47,
   "bibtype": "inproceedings",
   "abbr": "PM07a",
   "authors": {
      "1": {
         "first_name": "Jorge-Luis",
         "last_name": "Pérez-Medina"
      },
      "2": {
         "first_name": "Stéphanie",
         "last_name": "Marsal-Layat"
      }
   },
   "date": "2007-01-01",
   "document": "http://iihm.imag.fr/publs/2007/InforsidPerezVersionFinal.pdf.pdf",
   "type": "Conférences nationales avec comité de lecture sur texte complet",
   "pages": "382-397"
}]);