Christian Gresse (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Michel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Gérard D. Guiho: Exception Handling: Formal Specification and Systematic Program Construction. IEEE Trans. Software Eng. 11(3): 242-252 (1985)

3 Michel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Gérard D. Guiho: Exception Handling: Formal Specification and Systematic Program Construction. ICSE 1984: 18-29

1 Gérard D. Guiho, Christian Gresse: Program Synthesis from Incomplete Specifiactions. CADE 1980: 53-62

Selection of 3 from 6 records - Christian Gresse has 11 coauthors

5		Michel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Gérard D. Guiho: Exception Handling: Formal Specification and Systematic Program Construction. IEEE Trans. Software Eng. 11(3): 242-252 (1985)
3		Michel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Gérard D. Guiho: Exception Handling: Formal Specification and Systematic Program Construction. ICSE 1984: 18-29
1		Gérard D. Guiho, Christian Gresse: Program Synthesis from Incomplete Specifiactions. CADE 1980: 53-62