A small experiment in Event-B rippling (2010)
Attributed to:
AI4FM: using AI to aid automation of proof search in Formal Methods
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: http://www.research.ed.ac.uk/portal/en/publications/a-small-experiment-in-eventb-rippling%28970b1c8f-244c-4db5-a928-c3f0cb8dbd16%29.html
Type: Conference/Paper/Proceeding/Abstract
Volume: n/a
Parent Publication: Proceedings of AVoCS 2010 and Rodin User and Developer Workshop 2010