Difference between revisions of "Paper/Unifying theories of reactive design contracts"
Jump to navigation
Jump to search
(Created page with "{{cite book |title=Unifying theories of reactive design contracts |first1=Simon |last1=Foster |author-link=Simon Foster |date=September 2019 |publisher=Elsevier |url=https://www.sciencedirect.com/science/article/abs/pii/S0304397519305614 |location=local page }} <noinclude> {{#Widget:PDF |url=https://arxiv.org/pdf/1712.10233.pdf |height=800 }} {{PagePostfix |category_csd=Refinement Calculus,Stepwise Refinement }}...") |
|||
| Line 17: | Line 17: | ||
{{PagePostfix | {{PagePostfix | ||
|category_csd=Refinement Calculus,Stepwise Refinement | |category_csd=Refinement Calculus,Stepwise Refinement,Reactive Contract,Design Contract,Formal Method,React | ||
}} | }} | ||
</noinclude> | </noinclude> | ||
Latest revision as of 04:14, 27 January 2023
Foster, Simon (September 2019). Unifying theories of reactive design contracts. local page: Elsevier.
References
Related Pages