|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Frank Zeyda, Marcel Oliveira, Ana Cavalcanti 0001 |
Supporting ArcAngel in ProofPower. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@FMWeek ![In: Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009, pp. 225-243, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jeff W. Sanders, Graeme Smith 0001 |
Refining Emergent Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@FMWeek ![In: Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009, pp. 207-223, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Steve Reeves, David Streader |
Guarded Operations, Refinement and Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@FMWeek ![In: Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009, pp. 177-191, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Wim H. Hesselink, Muhammad Ikram Ullah Lali |
Formalizing a Hierarchical File System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@FMWeek ![In: Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009, pp. 67-85, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Carroll Morgan |
How to Brew-up a Refinement Ordering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@FMWeek ![In: Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009, pp. 123-141, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Steve Dunne |
Of wlp and CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@FMWeek ![In: Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009, pp. 35-45, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Viorel Preoteasa, Ralph-Johan Back |
Data Refinement of Invariant Based Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@FMWeek ![In: Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009, pp. 143-163, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ruhroth, Heike Wehrheim |
Static Class Elements for Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@FMWeek ![In: Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009, pp. 193-205, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | T. M. Rabehaja, Jeff W. Sanders |
Data Refinement with Probability in Mind. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@FMWeek ![In: Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009, pp. 165-176, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | John Derrick, Eerke A. Boiten |
Relational Concurrent Refinement: Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@FMWeek ![In: Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009, pp. 21-34, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | John Howse, Steve Schuman, Gem Stapleton, Ian Oliver |
Diagrammatic Formal Specification of a Configuration Control Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@FMWeek ![In: Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009, pp. 87-104, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | César Jesus Rodrigues, José Nuno Oliveira, Luís Soares Barbosa |
A Single Complete Relational Rule for Coalgebraic Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@FMWeek ![In: Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009, pp. 3-19, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Eerke A. Boiten, John Derrick, Steve Reeves |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@FMWeek ![In: Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009, pp. 1, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Hallerstede |
Proving Quicksort Correct in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@FMWeek ![In: Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009, pp. 47-65, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Manuel A. Martins 0001, Alexandre Madeira, Luís Soares Barbosa |
Refinement by Interpretation in a General Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@FMWeek ![In: Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009, pp. 105-121, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Eerke A. Boiten, John Derrick, Steve Reeves (eds.) |
Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009 ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@FMWeek ![Elsevier The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|