default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRefine 2005: Guildford, UK
- John Derrick, Eerke A. Boiten:
Proceedings of the REFINE 2005 Workshop, REFINE 2005, Guildford, UK, April 2005. Electronic Notes in Theoretical Computer Science 137(2), Elsevier 2005 - John Derrick, Eerke A. Boiten
:
Preface. 1-3 - Diyaa-Addein Atiya, Steve King, Jim Woodcock:
Simpler Reasoning About System Properties: a Proof-by-Refinement Technique. 5-22 - Christie Bolton:
Using the Alloy Analyzer to Verify Data Refinement in Z. 23-44 - Ana Cavalcanti, Jim Woodcock:
Angelic Nondeterminism and Unifying Theories of Programming. 45-66 - Moshe Deutsch, Martin C. Henson:
An Analysis of Operation-Refinement in an Abortive Paradigm. 67-92 - Robert Colvin, Simon Doherty, Lindsay Groves:
Verifying Concurrent Data Structures by Simulation. 93-110 - Martin C. Henson, Besnik Kajtazi:
The Specification Logic vZ. 111-129 - Kevin Lano, Kelly Androutsopoulos, David Clark:
Refinement Patterns for UML. 131-149 - Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack:
Refinement via Consistency Checking in MDA. 151-161 - Fiona Polack, Susan Stepney:
Emergent Properties Do Not Refine. 163-181 - Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne:
Tank Monitoring: A pAMN Case Study. 183-204 - Graeme Smith, John Derrick:
Model Checking Downward Simulations. 205-224 - John A. Clark, Susan Stepney, Howard Chivers:
Breaking the Model: Finalisation and a Taxonomy of Security Attacks. 225-242
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 2026-01-29 02:22 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:
