Category:D23 Deliverable

From Event-B
Revision as of 10:45, 16 November 2009 by imported>Pascal (→‎Creation)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

This category identifies the pages related to the DEPLOY Deliverable D23 (Model Construction and Analysis Tool II), delivered to the European Commission by the 29th of January 2010.

Retrieved from ‘https://wiki.event-b.org/index.php?title=Category:D23_Deliverable&oldid=13351’