1981

1 reference published this year.

Ten Years of Hoare's Logic: A Survey - Part 1
Krzysztof R. Apt (1981) · ACM Transactions on Programming Languages and Systems