• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Formal Methods for Component Software: The Refinement Calculus Perspective

Martin Büchi, Emil Sekerinski, Formal Methods for Component Software: The Refinement Calculus Perspective. In: Proceedings of the Second Workshop on Componen-Oriented Programming (WCOP), TUCS General Publication 5, 23--32, 1997.

Abstract:

http://www.tucs.fi/Publications/proceedings/pBuSe97.php

Files:

Full publication in PDF-format

BibTeX entry:

@INPROCEEDINGS{pBuSe97,
  title = {Formal Methods for Component Software: The Refinement Calculus Perspective},
  booktitle = {Proceedings of the Second Workshop on Componen-Oriented Programming (WCOP)},
  author = {Büchi, Martin and Sekerinski, Emil},
  volume = {5},
  series = {TUCS General Publication},
  pages = {23--32},
  year = {1997},
}

Edit publication