Back to Results
First PageMeta Content
Rippling / IsaPlanner / Mathematical proof / Formal methods / Theorem / Logic / Automated theorem proving / Mathematics


A small experiment in Event-B rippling Gudmund Grov, Alan Bundy & Lucas Dixon [removed] [removed]
Add to Reading List

Document Date: 2013-10-30 13:19:50


Open Document

File Size: 68,27 KB

Share Result on Facebook
UPDATE