Back to Results
First PageMeta Content
Formal methods / Theoretical computer science / Software engineering / Mathematics / Predicate transformer semantics / Refinement / Abstract state machines / NC / 120-cell / Cover


Modular, Crash-Safe Refinement for ASMs with Submachines Gidon Ernsta , J¨ org Pf¨ahlera , Gerhard Schellhorna , Wolfgang Reifa a Institute
Add to Reading List

Document Date: 2017-01-11 10:52:45


Open Document

File Size: 514,01 KB

Share Result on Facebook
UPDATE