Electronic Notes in Theoretical Computer Science, Volume 259
Volume 259, December 2009
- César Jesus Rodrigues, José Nuno Oliveira, Luís Soares Barbosa: A Single Complete Relational Rule for Coalgebraic Refinement. 3-19
- Steve Dunne: Of wlp and CSP. 35-45
- Stefan Hallerstede: Proving Quicksort Correct in Event-B. 47-65
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team