Login / Signup
Bruno Ginoux
Publication Activity (10 Years)
Years Active: 1998-1998
Publications (10 Years): 0
</>
Publications
</>
Bruno Ginoux
,
Jean-Luc Dormoy
,
Claudia Jimenez-Dominguez
,
Jean-Yves Lucas
,
Laurent Pierre
DESCARTES: An Automatic Programming System for Algorithmically Simple Programs.
IWSSD
(1998)
Jean-Yves Lucas
,
Jean-Luc Dormoy
,
Bruno Ginoux
,
Claudia Jimenez-Dominguez
,
Laurent Pierre
How to Reconcile Formal Specifications and Automatic Programming: The Descartes System.
APSEC
(1998)