Bruno Ginoux

According to our database¹, Bruno Ginoux authored at least 2 papers in 1998.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1998

DESCARTES: An Automatic Programming System for Algorithmically Simple Programs.

[BibT_eX]

[DOI]

Proceedings of the 9th International Workshop on Software Specification and Design, 1998

How to Reconcile Formal Specifications and Automatic Programming: The Descartes System.

[BibT_eX]

[DOI]

Proceedings of the 5th Asia-Pacific Software Engineering Conference (APSEC '98), 1998