Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "REFINE@FMWeek"( http://dblp.L3S.de/Venues/REFINE@FMWeek )

URL (DBLP): http://dblp.uni-trier.de/db/conf/refine

Publication years (Num. hits)
2009 (16)
Publication types (Num. hits)
inproceedings(15) proceedings(1)
Venues (Conferences, Journals, ...)
REFINE@FMWeek(16)
Authors
Eerke A. Boiten(3) John Derrick(3) Steve Reeves(3) Jeff W. Sanders(2) Luís Soares Barbosa(2) Alexandre Madeira(1) Ana Cavalcanti 0001(1) Carroll Morgan(1) César Jesus Rodrigues(1) David Streader(1) Frank Zeyda(1) Gem Stapleton(1) Graeme Smith 0001(1) Heike Wehrheim(1) Ian Oliver(1) John Howse(1) More (+10 of total 28)
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
1Frank Zeyda, Marcel Oliveira, Ana Cavalcanti 0001 Supporting ArcAngel in ProofPower. Search on Bibsonomy REFINE@FMWeek The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jeff W. Sanders, Graeme Smith 0001 Refining Emergent Properties. Search on Bibsonomy REFINE@FMWeek The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Steve Reeves, David Streader Guarded Operations, Refinement and Simulation. Search on Bibsonomy REFINE@FMWeek The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Wim H. Hesselink, Muhammad Ikram Ullah Lali Formalizing a Hierarchical File System. Search on Bibsonomy REFINE@FMWeek The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Carroll Morgan How to Brew-up a Refinement Ordering. Search on Bibsonomy REFINE@FMWeek The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Steve Dunne Of wlp and CSP. Search on Bibsonomy REFINE@FMWeek The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Viorel Preoteasa, Ralph-Johan Back Data Refinement of Invariant Based Programs. Search on Bibsonomy REFINE@FMWeek The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Thomas Ruhroth, Heike Wehrheim Static Class Elements for Object-Z. Search on Bibsonomy REFINE@FMWeek The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1T. M. Rabehaja, Jeff W. Sanders Data Refinement with Probability in Mind. Search on Bibsonomy REFINE@FMWeek The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1John Derrick, Eerke A. Boiten Relational Concurrent Refinement: Automata. Search on Bibsonomy REFINE@FMWeek The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1John Howse, Steve Schuman, Gem Stapleton, Ian Oliver Diagrammatic Formal Specification of a Configuration Control Platform. Search on Bibsonomy REFINE@FMWeek The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1César Jesus Rodrigues, José Nuno Oliveira, Luís Soares Barbosa A Single Complete Relational Rule for Coalgebraic Refinement. Search on Bibsonomy REFINE@FMWeek The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Eerke A. Boiten, John Derrick, Steve Reeves Preface. Search on Bibsonomy REFINE@FMWeek The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Stefan Hallerstede Proving Quicksort Correct in Event-B. Search on Bibsonomy REFINE@FMWeek The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Manuel A. Martins 0001, Alexandre Madeira, Luís Soares Barbosa Refinement by Interpretation in a General Setting. Search on Bibsonomy REFINE@FMWeek The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Eerke 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 REFINE@FMWeek The full citation details ... 2009 DBLP  BibTeX  RDF
Displaying result #1 - #16 of 16 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license