![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
14th REFINE@FMWeek 2009: Eindhoven, The Netherlands
- Eerke A. Boiten, John Derrick, Steve Reeves:
Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009. Electronic Notes in Theoretical Computer Science 259, Elsevier 2009 - Eerke A. Boiten, John Derrick
, Steve Reeves
:
Preface. 1 - César Jesus Rodrigues, José Nuno Oliveira
, Luís Soares Barbosa
:
A Single Complete Relational Rule for Coalgebraic Refinement. 3-19 - John Derrick
, Eerke A. Boiten
:
Relational Concurrent Refinement: Automata. 21-34 - Steve Dunne:
Of wlp and CSP. 35-45 - Stefan Hallerstede:
Proving Quicksort Correct in Event-B. 47-65 - Wim H. Hesselink, Muhammad Ikram Ullah Lali:
Formalizing a Hierarchical File System. 67-85 - John Howse
, Steve Schuman, Gem Stapleton, Ian Oliver:
Diagrammatic Formal Specification of a Configuration Control Platform. 87-104 - Manuel A. Martins
, Alexandre Madeira
, Luís Soares Barbosa
:
Refinement by Interpretation in a General Setting. 105-121 - Carroll Morgan:
How to Brew-up a Refinement Ordering. 123-141 - Viorel Preoteasa, Ralph-Johan Back:
Data Refinement of Invariant Based Programs. 143-163 - T. M. Rabehaja, Jeff W. Sanders:
Data Refinement with Probability in Mind. 165-176 - Steve Reeves
, David Streader:
Guarded Operations, Refinement and Simulation. 177-191 - Thomas Ruhroth, Heike Wehrheim:
Static Class Elements for Object-Z. 193-205 - Jeff W. Sanders, Graeme Smith
:
Refining Emergent Properties. 207-223 - Frank Zeyda
, Marcel Oliveira, Ana Cavalcanti:
Supporting ArcAngel in ProofPower. 225-243
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.