File:Surf2014 keymaera train.png: Difference between revisions
From Murray Wiki
Jump to navigationJump to search
(Screenshot of [http://symbolaris.com/info/KeYmaera.html KeYmaera] proving a specification about a hybrid program representing a train. The hybrid program is from [http://symbolaris.com/pub/lahs-tutorial.pdf here].) |
(No difference)
|
Latest revision as of 18:43, 29 December 2013
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 18:43, 29 December 2013 |  | 1,134 × 1,206 (217 KB) | Ifilippi (talk | contribs) | Screenshot of [http://symbolaris.com/info/KeYmaera.html KeYmaera] proving a specification about a hybrid program representing a train. The hybrid program is from [http://symbolaris.com/pub/lahs-tutorial.pdf here]. |
You cannot overwrite this file.
File usage
The following page uses this file:
