default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th REFINE@IFM: Oxford, UK
- Eerke A. Boiten, John Derrick, Graeme Smith:
Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007. Electronic Notes in Theoretical Computer Science 201, Elsevier 2008 - Eerke A. Boiten
, John Derrick, Graeme Smith:
Preface. 1 - Richard Banach, Gerhard Schellhorn:
On the Refinement of Atomic Actions. 3-30 - Eerke A. Boiten, Dan Grundy:
Reduction and Refinement. 31-44 - Neil Evans, Neil Grant:
Towards the Formal Verification of a Java Processor in Event-B. 45-67 - Lindsay Groves:
Trace-based Derivation of a Lock-Free Queue Algorithm. 69-98 - Arjan J. Mooij:
Constructing and Reasoning About Security Protocols Using Invariants. 99-126 - Kazuhiro Ogata, Kokichi Futatsugi:
Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method. 127-154 - John Derrick, Graeme Smith:
Using Model Checking to Automatically Find Retrieve Relations. 155-175 - Larissa Meinicke, Kim Solin:
Refinement Algebra for Probabilistic Programs. 177-195 - Peter Höfner, Georg Struth:
Can Refinement be Automated? 197-222 - Johanna Tuominen, Tomi Westerlund, Juha Plosila:
Power Aware System Refinement. 223-253 - Heike Wehrheim:
Refinement in the Presence of Unknowns. 255-264
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-08 20:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
