%0 Conference Paper %1 conf/lmo/LefebvreBH97 %A Lefebvre, P. %A Bomal, E. %A de Heaulme, M. %B LMO %D 1997 %E Ducournau, Roland %E Garlatti, Serge %I Hermès %K dblp %P 79-94 %T Une méthode et un algorithme pour compléter et abstraire une spécification orientée-objets. %U http://dblp.uni-trier.de/db/conf/lmo/lmo1997.html#LefebvreBH97 %@ 2-86601-650-5

@inproceedings{conf/lmo/LefebvreBH97, added-at = {2007-04-26T00:00:00.000+0200}, author = {Lefebvre, P. and Bomal, E. and de Heaulme, M.}, biburl = {https://www.bibsonomy.org/bibtex/255f4aa518038906eedcc577bf0eb85ef/dblp}, booktitle = {LMO}, crossref = {conf/lmo/1997}, editor = {Ducournau, Roland and Garlatti, Serge}, interhash = {91e3f163d100ad3c17508499a22e3f3a}, intrahash = {55f4aa518038906eedcc577bf0eb85ef}, isbn = {2-86601-650-5}, keywords = {dblp}, pages = {79-94}, publisher = {Hermès}, timestamp = {2018-07-06T11:38:42.000+0200}, title = {Une méthode et un algorithme pour compléter et abstraire une spécification orientée-objets.}, url = {http://dblp.uni-trier.de/db/conf/lmo/lmo1997.html#LefebvreBH97}, year = 1997 }