Back to Results
First PageMeta Content
Applied mathematics / Logic in computer science / Formal verification / BCS-FACS / Model checking / Communicating sequential processes / Formal specification / Abstraction / Steve Reeves / Formal methods / Theoretical computer science / Computing


Document Date: 2011-01-10 14:17:10

Open Document

File Size: 1,04 MB

Share Result on Facebook
UPDATE