Formal Methods for Component Software: The Refinement Calculus Perspective. Büchi, M. & Sekerinski, E. In Object-Oriented Technology, ECOOP'97 Workshop Reader, ECOOP'97 Workshops, Jyväskylä, Finland, June 9-13, 1997, pages 332–337, 1997.
Formal Methods for Component Software: The Refinement Calculus Perspective [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/ecoopw/BuchiS97,
  author    = {Martin B{\"{u}}chi and
               Emil Sekerinski},
  title     = {Formal Methods for Component Software: The Refinement Calculus Perspective},
  booktitle = {Object-Oriented Technology, ECOOP'97 Workshop Reader, ECOOP'97 Workshops,
               Jyv{\"{a}}skyl{\"{a}}, Finland, June 9-13, 1997},
  pages     = {332--337},
  year      = {1997},
  crossref  = {DBLP:conf/ecoopw/1997},
  url       = {https://doi.org/10.1007/3-540-69687-3\_68},
  doi       = {10.1007/3-540-69687-3\_68},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecoopw/BuchiS97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0