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. Springer. 3 pp.

Download

Full text not available from this repository.

Item Type: Conference or Workshop Item (Paper)
Venue - Dates: ABZ2010, 2010-02-23 - 2010-02-25
Related URLs:
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
ePrint ID: 69720
Date :
Date Event
2010Published
Date Deposited: 27 Nov 2009
Last Modified: 18 Apr 2017 21:11
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/69720

Actions (login required)

View Item View Item