publications([{
   "type_publi": "colcomlec",
   "title": "Expressing dynamic properties of static diagrams in Z",
   "booktitle": "Approches Formelles Pour le Développement des Logiciels - AFADL'2003",
   "year": 2003,
   "uri": "http://iihm.imag.fr/publication/LD03a/",
   "bibtype": "inproceedings",
   "abbr": "LD03a",
   "authors": {
      "1": {
         "first_name": "Yves",
         "last_name": "Ledru"
      },
      "2": {
         "first_name": "Sophie",
         "last_name": "Dupuy-Chessa"
      }
   },
   "date": "2003-01-01",
   "document": "http://iihm.imag.fr/publs/2003/AFADLdupuy2003.pdf",
   "type": "Conférences nationales avec comité de lecture sur texte complet",
   "id": 146
}]);