First Page | Document Content | |
---|---|---|
Date: 2007-11-21 10:57:32Software 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 2Add to Reading ListSource URL: rodin.cs.ncl.ac.ukDownload Document from Source WebsiteFile Size: 229,51 KBShare Document on Facebook |