publications([{
   "type_publi": "colcomlec",
   "title": "Utilisation des spécifications formelles dans le processus de conception des\r\ninterfaces homme-machine",
   "booktitle": "Proc. IHM’97, Cepadues Publ",
   "year": 1997,
   "uri": "http://iihm.imag.fr/publication/BJ97a/",
   "id": 291,
   "bibtype": "inproceedings",
   "abbr": "BJ97a",
   "authors": {
      "1": {
         "first_name": "P.",
         "last_name": "Brun"
      },
      "2": {
         "first_name": "Francis",
         "last_name": "Jambon"
      }
   },
   "date": "1997-01-01",
   "document": "http://iihm.imag.fr/publs/1997/IHM97_Formalismes.Fr.pdf",
   "type": "Conférences nationales avec comité de lecture sur texte complet",
   "pages": "23-29"
}]);