Back to Results
First PageMeta Content
Software engineering / Computing / Formal methods / Refinement / FDR / Model checking / Prolog / Algorithm / Predicate transformer semantics / Type system / Abstract machine / XSB


Automatic Refinement Checking for B? Michael Leuschel1,2 and Michael Butler1 1 2
Add to Reading List

Document Date: 2007-11-21 10:57:32

Open Document

File Size: 229,51 KB

Share Result on Facebook