How to Reconcile Formal Specifications and Automatic Programming: The Descartes System - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Jean-Yves Lucas' in GoogleThis author has not been identified. Look up 'Jean-Luc Dormoy' in GoogleThis author has not been identified. Look up 'Bruno Ginoux' in GoogleThis author has not been identified. Look up 'Claudia Jimenez-Dominguez' in GoogleThis author has not been identified. Look up 'Laurent Pierre' in Google

runs on WebDSL