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

The Refinement Calculator: Proof Support for Program Refinement

Michael Butler, Jim Grundy, Thomas Långbacka, Rimvydas Ruksenas, Joakim von Wright, The Refinement Calculator: Proof Support for Program Refinement. In: Formal Methods Pacific'97: Proceedings of FMP'97, Discrete Mathematics and Theoretical Computer Science, 40–61, Springer-Verlag, 1997.

Abstract:

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

Files:

Full publication in PDF-format

BibTeX entry:

@INPROCEEDINGS{pBuGrLaRuWr97,
  title = {The Refinement Calculator: Proof Support for Program Refinement},
  booktitle = {Formal Methods Pacific'97: Proceedings of FMP'97},
  author = {Butler, Michael and Grundy, Jim and Långbacka, Thomas and Ruksenas, Rimvydas and Wright, Joakim von},
  series = {Discrete Mathematics and Theoretical Computer Science},
  publisher = {Springer-Verlag},
  pages = {40–61},
  year = {1997},
}

Publication Forum rating of this publication: level 1

Edit publication