Timeline for What do we know about provably correct programs?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 24, 2020 at 6:18 | history | edited | domotorp | CC BY-SA 4.0 |
added link to chapter 6
|
| Jul 1, 2016 at 8:11 | history | edited | Kaveh | CC BY-SA 3.0 |
added 7 characters in body
|
| Jul 1, 2016 at 6:24 | history | answered | Joshua Grochow | CC BY-SA 3.0 |