Difference between revisions of "Event-B Language"

Revision as of 12:15, 3 June 2009

Revision as of 11:59, 3 June 2009 (view source) imported>Son ← Older edit		Revision as of 12:15, 3 June 2009 (view source) imported>Son Newer edit →
Line 13:		Line 13:

	== Proving Tips ==		== Proving Tips ==
−	~~[[Proof Hints]]~~