File:Aprove logo new.png
From Termination-Portal.org
Revision as of 08:38, 10 September 2025 by Eleanore.meyer (talk | contribs) (New Logo for the AProVE termination tool.)
Size of this preview: 800 × 190 pixels. Other resolutions: 320 × 76 pixels | 1,660 × 394 pixels.
Original file (1,660 × 394 pixels, file size: 93 KB, MIME type: image/png)
Summary
New Logo for the AProVE termination tool.
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 08:38, 10 September 2025 | | 1,660 × 394 (93 KB) | Eleanore.meyer (talk | contribs) | New Logo for the AProVE termination tool. |
You cannot overwrite this file.
File usage
The following page uses this file:
