Trevor Vickers

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1990

1 Carroll Morgan, Trevor Vickers: Types and Invariants in the Refinement Calculus. Sci. Comput. Program. 14(2-3): 281-304 (1990)

	1990
1		Carroll Morgan, Trevor Vickers: Types and Invariants in the Refinement Calculus. Sci. Comput. Program. 14(2-3): 281-304 (1990)

Coauthor Index

1 Carroll Morgan (Carroll C. Morgan) [1]