The kernel is probably as far as the correctness proof technique should be applied.
— Frederick P. Brooks Jr., The Design of Design
PREVIOUS07/29/2020
NEXT07/31/2020
The kernel is probably as far as the correctness proof technique should be applied.
— Frederick P. Brooks Jr., The Design of Design