Richard A. Kennerer

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1991

1 Carlo Ghezzi, Richard A. Kennerer: Executing Formal Specifications: The ASTRAL to TRIO Translation Approach. Symposium on Testing, Analysis, and Verification 1991: 112-122

	1991
1		Carlo Ghezzi, Richard A. Kennerer: Executing Formal Specifications: The ASTRAL to TRIO Translation Approach. Symposium on Testing, Analysis, and Verification 1991: 112-122

Coauthor Index