Login
Home > Research > EPrints

On an extensible rule-based prover for event-B

Maamria, Issam, Butler, Michael, Edmunds, Andrew and Rezazadeh, Abdolbaghi (2010) On an extensible rule-based prover for event-B. In, Proceedings of ABZ 2010. ABZ2010 , Springer, 3pp. (Lecture Notes in Computer Science).

Full text not available from this repository.


Item Type:Book Section
Related URLs:http://abzconference.org/
ftp://ftp.springer.de/pub/tex/...edings.pdf
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions:University Structure - Pre August 2011 > School of Electronics and Computer Science > Dependable Systems and Software Engineering Research Group
ePrint ID:69720
Deposited On:27 Nov 2009
Last Modified:27 Mar 2010 02:43

Associated Staff Only: edit my ePrint

EPrints Logo
ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2
ePrints Soton is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.