File:Surf2014 keymaera train.png
Revision as of 18:43, 29 December 2013 by Ifilippi
Original file (1,134 × 1,206 pixels, file size: 217 KB, MIME type: image/png)
Click on a date/time to view the file as it appeared at that time.
|current||18:43, 29 December 2013||1,134 × 1,206 (217 KB)||Ifilippi||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.