File:LogicModel as Three Levels of HoareTriples.png
Jump to navigation
Jump to search
Size of this preview: 800 × 426 pixels. Other resolution: 1,692 × 900 pixels.
Original file (1,692 × 900 pixels, file size: 338 KB, MIME type: image/png)
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 05:26, 8 December 2022 | | 1,692 × 900 (338 KB) | Benkoo2 (talk | contribs) |
You cannot overwrite this file.
File usage
The following 2 pages use this file:
