Category:Correctness

From PKC

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"