Revision history of "Paper/Unifying theories of reactive design contracts"

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

  • curprev 04:14, 27 January 2023‎ Benkoo2 talk contribs‎ 541 bytes +54‎
  • curprev 04:12, 27 January 2023‎ Benkoo2 talk contribs‎ 487 bytes +487‎ 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 }}..."
Retrieved from "https://pkc.pub/wiki/Paper/Unifying_theories_of_reactive_design_contracts"