Experiment 1: Event-B basic subset to IL0 in *TL: Revision history

From Event-B
Jump to navigationJump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

4 December 2009

  • curprev 11:3011:30, 4 December 2009‎ imported>Alexili‎ 481 bytes +481‎ New page: === Plan of the first experiment === * Soton to provide basic setup for testing ETL: Soton [14 Dec] * Start developers’ wiki on eventb.org * All the bits are to be saved on Soton subve...
Retrieved from ‘https://wiki.event-b.org/index.php/Experiment_1:_Event-B_basic_subset_to_IL0_in_*TL’