Jan A. Bergstra

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.

Expressiveness and the completeness of Hoare's logic

Jan A. Bergstra et al. (1982) · Journal of computer and system sciences

Some natural structures which fail to possess a sound and decidable Hoare-like logic for their while-programs

Jan A. Bergstra et al. (1982) · Theoretical Computer Science