File:Mutli-level HoareTriples with LogicModel.png
Jump to navigation
Jump to search
Size of this preview: 583 × 599 pixels. Other resolution: 1,456 × 1,496 pixels.
Original file (1,456 × 1,496 pixels, file size: 571 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 | 04:11, 8 December 2022 | | 1,456 × 1,496 (571 KB) | Benkoo2 (talk | contribs) |
You cannot overwrite this file.
File usage
The following 2 pages use this file:
