René Casadessus

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1994

1 Pierre de Saqui-Sannes, Jean-Pierre Courtiat, René Casadessus: Verification by abstraction as a preamble for interoperability test suite generation. PSTV 1994: 152-166

	1994
1		Pierre de Saqui-Sannes, Jean-Pierre Courtiat, René Casadessus: Verification by abstraction as a preamble for interoperability test suite generation. PSTV 1994: 152-166

Coauthor Index