Difference between pages "File:Disprover-relevant-context.png" and "File:Towards Modular Development in Event-B.pdf"

Latest revision as of 20:50, 30 April 2020

Towards Modular Development in Event-B (Thai Son Hoang, Hironobu Kuruma, and Michael Butler)

Click on a date/time to view the file as it appeared at that time.

	Date/Time	Thumbnail	Dimensions	User	Comment
current	20:50, 30 April 2020		16 × 16 (760 bytes)	Maintenance script (talk \| contribs)

There are no pages that use this file.

This file contains additional information, probably added from the digital camera or scanner used to create or digitise it.

If the file has been modified from its original state, some details may not fully reflect the modified file.

Revision as of 15:08, 10 September 2009 (view source) imported>Jastram	Latest revision as of 20:50, 30 April 2020 (view source) Maintenance script (talk \| contribs) (Maintenance script uploaded File:Towards Modular Development in Event-B.pdf)
Line 1:	Line 1:
−	+	Towards Modular Development in Event-B (Thai Son Hoang, Hironobu Kuruma, and Michael Butler)