Category:Correctness

From PKC

Revision as of 02:14, 10 September 2022 by Benkoo (talk | contribs) (Created page with "See Correctness")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

See Correctness

Pages in category "Correctness"

The following 3 pages are in this category, out of 3 total.

B

Book/Refinement Calculus: A Systematic Introduction

C

Correct by design

H

Hoare logic

Retrieved from "https://pkc.pub/index.php?title=Category:Correctness&oldid=35299"