An open extensible tool environment for Event-B


Abrial, Jean-Raymond, Butler, Michael, Hallerstede, Stefan and Voisin, Laurent, (2006) An open extensible tool environment for Event-B Liu, Zhiming and He, Jifeng (eds.) At ICFEM 2006.

Download

[img] PDF eventb.pdf - Other
Download (481kB)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: November 2006
Venue - Dates: ICFEM 2006, 2006-11-01
Organisations: Electronic & Software Systems
ePrint ID: 262711
Date :
Date Event
June 2006Published
Date Deposited: 14 Jun 2006
Last Modified: 23 Feb 2017 12:55
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/262711

Actions (login required)

View Item View Item