Letter about proof format
Main Author: | Dijkstra, E |
---|---|
Format: | Record |
Published: |
2015
|
Similar Items
-
Induction in Proofs about Programs
by: Greif, Irene Gloria
Published: (2023) -
Letters about Published Papers
by: Viroj Wiwanitkit
Published: (2017-09-01) -
Propositionalism about intention: shifting the burden of proof
by: Campbell, LP
Published: (2018) -
Mechanised Hypersafety Proofs about Structured Data
by: Gladshtein, Vladimir, et al.
Published: (2024) -
Some Points About Letter To Editor
by: Nazanin Shamaiian Razavi, et al.
Published: (2016-04-01)