SM&D-KAR.pdf (file size: 926 KB, MIME type: application/pdf)
System Modelling & Design is an uncompleted textbook on Event-B by Ken Robinson.
Please send any comments or corrections to firstname.lastname@example.org
Click on a date/time to view the file as it appeared at that time.
|current||20:49, 30 April 2020||(926 KB)||Maintenance script|
- You cannot overwrite this file.