1982
5 references published this year.
Handbook of mathematical logic
Jon Barwise (1982)
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
The Byzantine Generals Problem
Leslie Lamport et al. (1982) · ACM Transactions on Programming Languages and Systems
A General Axiom of Assignment
Joseph M. Morris (1982) · Theoretical Foundations of Programming Methodology