Back to Results
First PageMeta Content
Software engineering / Theoretical computer science / Computing / Concurrent computing / Constraint programming / Models of computation / Model checkers / Process calculus / Michael Butler / Model checking / FDR / Denotational semantics


Combining CSP and B for Specification and Property Verification⋆ Michael Butler1 and Michael Leuschel1,2 1 2
Add to Reading List

Document Date: 2007-11-21 11:00:56


Open Document

File Size: 241,68 KB

Share Result on Facebook
UPDATE