Hoare Logic

From GM-RKB
Jump to navigation Jump to search

A Hoare Logic is a Formal System that ...



References

2015

  1. R. W. Floyd. “Assigning meanings to programs." Proceedings of the American Mathematical Society Symposia on Applied Mathematics. Vol. 19, pp. 19–31. 1967.