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

Context Handling in the Refinement Calculus framework

Linas Laibinis, Joakim von Wright, Context Handling in the Refinement Calculus framework. In: Selected papers from the 8th Nordic Workshop on Programming Theory, Research Reports of Department of Informatics, 139--149, 1997.

Abstract:

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

BibTeX entry:

@INPROCEEDINGS{pLaWri97,
  title = {Context Handling in the Refinement Calculus framework},
  booktitle = {Selected papers from the 8th Nordic Workshop on Programming Theory},
  author = {Laibinis, Linas and Wright, Joakim von},
  series = {Research Reports of Department of Informatics},
  pages = {139--149},
  year = {1997},
}

Edit publication