Timeline for How did this work apply weakest precondition rule on their example car problem?
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 6 at 1:29 | vote | accept | desert_ranger | ||
| Feb 5 at 23:58 | history | answered | Kai | CC BY-SA 4.0 |