Paper/Unifying theories of reactive design contracts

From PKC
Revision as of 04:12, 27 January 2023 by Benkoo2 (talk | contribs) (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 }}...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Foster, Simon (September 2019). Unifying theories of reactive design contracts. local page: Elsevier. 


Currently your browser does not use a PDF plugin. You may however download the PDF file instead.

References


Related Pages


Retrieved from "https://pkc.pub/index.php?title=Paper/Unifying_theories_of_reactive_design_contracts&oldid=38074"