All public logs

Combined display of all available logs of PKC. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 04:12, 27 January 2023 Benkoo2 talk contribs created page Paper/Unifying theories of reactive design contracts (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 }}...")