1984
4 references published this year.
Ten Years of Hoare's Logic: A Survey Part II: Nondeterminism
Krzysztof R. Apt (1984) · Theoretical Computer Science
The characterization problem for Hoare logics
Edmund M. Clarke Jr. (1984) · Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences
End-to-end arguments in system design
Jerome H. Saltzer et al. (1984) · ACM Transactions on Computer Systems
Reflections on Trusting Trust
Ken Thompson (1984) · Communications of the ACM