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

From Event-B
Jump to navigationJump to search

Diff selection: Mark the radio boxes 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.

  • curprev 11:30, 4 December 2009imported>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 * All the bits are to be saved on Soton subve...