M. J. A. Caswell

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1997

1 M. J. A. Caswell: Equivalence of Formal Semantics Definition Methods. Formal Asp. Comput. 9(1): 68-77 (1997)