A small experiment in Event-B rippling (2010)

First Author: Grov, G
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