Colin Grant

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1991

1 Susan Stepney, Dave Whitely, David Cooper, Colin Grant: A Demonstrably Correct Compiler. Formal Asp. Comput. 3(1): 58-101 (1991)

	1991
1		Susan Stepney, Dave Whitely, David Cooper, Colin Grant: A Demonstrably Correct Compiler. Formal Asp. Comput. 3(1): 58-101 (1991)

Coauthor Index