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

Mechanising Some Advanced Refinement Concepts

Joakim von Wright, Jukka-Pekka Hekanaho, Thomas Långbacka, P. Luostarinen, Mechanising Some Advanced Refinement Concepts. In: Proceedings of 1992 International Workshop on Higher Order Logic Theorem Proving and Its Applications, North-Holland, 1992.

BibTeX entry:

@INPROCEEDINGS{inpvoHeLx92a,
  title = {Mechanising Some Advanced Refinement Concepts},
  booktitle = {Proceedings of 1992 International Workshop on Higher Order Logic	Theorem Proving and Its Applications},
  author = {Wright, Joakim von and Hekanaho, Jukka-Pekka and Långbacka, Thomas and Luostarinen, P.},
  publisher = {North-Holland},
  year = {1992},
}

Belongs to TUCS Research Unit(s): Software Construction Laboratorium

Edit publication