Back to Results
First PageMeta Content
Formal methods / Theoretical computer science / Models of computation / Abstract state machines / Predicate transformer semantics / NC / 120-cell / File locking


Modular Refinement for Submachines of ASMs ? Gidon Ernst, J¨ org Pf¨
Add to Reading List

Document Date: 2017-01-11 10:47:24

Open Document

File Size: 421,43 KB

Share Result on Facebook