Verifying B proof rules using deep embedding and automated theorem proving
Article in Software and Systems Modeling (June 2013)
The most recent citing publications are shown below. View all 9 publications that cite this research output on Dimensions.
Article in Software and Systems Modeling (June 2013)
Article in Journal of Symbolic Logic (December 2004)
Book chapter (October 2002)