|
|
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. |
REFINE@FMWeek |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jeff W. Sanders, Graeme Smith 0001 |
Refining Emergent Properties. |
REFINE@FMWeek |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Steve Reeves, David Streader |
Guarded Operations, Refinement and Simulation. |
REFINE@FMWeek |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Wim H. Hesselink, Muhammad Ikram Ullah Lali |
Formalizing a Hierarchical File System. |
REFINE@FMWeek |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Carroll Morgan |
How to Brew-up a Refinement Ordering. |
REFINE@FMWeek |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Steve Dunne |
Of wlp and CSP. |
REFINE@FMWeek |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Viorel Preoteasa, Ralph-Johan Back |
Data Refinement of Invariant Based Programs. |
REFINE@FMWeek |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ruhroth, Heike Wehrheim |
Static Class Elements for Object-Z. |
REFINE@FMWeek |
2009 |
DBLP DOI BibTeX RDF |
|
1 | T. M. Rabehaja, Jeff W. Sanders |
Data Refinement with Probability in Mind. |
REFINE@FMWeek |
2009 |
DBLP DOI BibTeX RDF |
|
1 | John Derrick, Eerke A. Boiten |
Relational Concurrent Refinement: Automata. |
REFINE@FMWeek |
2009 |
DBLP DOI BibTeX RDF |
|
1 | John Howse, Steve Schuman, Gem Stapleton, Ian Oliver |
Diagrammatic Formal Specification of a Configuration Control Platform. |
REFINE@FMWeek |
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. |
REFINE@FMWeek |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Eerke A. Boiten, John Derrick, Steve Reeves |
Preface. |
REFINE@FMWeek |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Hallerstede |
Proving Quicksort Correct in Event-B. |
REFINE@FMWeek |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Manuel A. Martins 0001, Alexandre Madeira, Luís Soares Barbosa |
Refinement by Interpretation in a General Setting. |
REFINE@FMWeek |
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 |
REFINE@FMWeek |
2009 |
DBLP BibTeX RDF |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|