Jean-Yves Lucas, Jean-Luc Dormoy, Bruno Ginoux, Claudia Jimenez-Dominguez, Laurent Pierre. How to Reconcile Formal Specifications and Automatic Programming: The Descartes System. In 5th Asia-Pacific Software Engineering Conference (APSEC 98), 2-4 December 1998, Taipei, Taiwan, ROC. pages 38-45, IEEE Computer Society, 1998. [doi]
@inproceedings{LucasDGJP98,
title = {How to Reconcile Formal Specifications and Automatic Programming: The Descartes System},
author = {Jean-Yves Lucas and Jean-Luc Dormoy and Bruno Ginoux and Claudia Jimenez-Dominguez and Laurent Pierre},
year = {1998},
url = {http://csdl.computer.org/comp/proceedings/apsec/1998/9183/00/91830038abs.htm},
tags = {programming},
researchr = {https://researchr.org/publication/LucasDGJP98},
cites = {0},
citedby = {0},
pages = {38-45},
booktitle = {5th Asia-Pacific Software Engineering Conference (APSEC 98), 2-4 December 1998, Taipei, Taiwan, ROC},
publisher = {IEEE Computer Society},
isbn = {0-8186-9183-2},
}