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

Program Derivation Using the Refinement Calculator

Michael Butler, Thomas Långbacka, Program Derivation Using the Refinement Calculator. In: Theorem Proving in Higher Order Logics. 9th International Conference, TPHOLs'96., Lecture Notes in Computer Science 1125, 93–108, Springer-Verlag, 1996.

Files:

Full publication in PDF-format

BibTeX entry:

@INPROCEEDINGS{pBuLa96,
  title = {Program Derivation Using the Refinement Calculator},
  booktitle = {Theorem Proving in Higher Order Logics. 9th International Conference, TPHOLs'96.},
  author = {Butler, Michael and Långbacka, Thomas},
  volume = {1125},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer-Verlag},
  pages = {93–108},
  year = {1996},
}

Publication Forum rating of this publication: level 1

Edit publication