Albert R. Meyer

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Specifying the Semantics of while Programs: A Tutorial and Critique of a Paper by Hoare and Lauer

Irene Greif and others (1981) · Association for Computing Machinery (ACM)

Definability in Dynamic Logic

Albert R. Meyer and others (1980) · ACM Symposium on Theory of Computing (STOC)