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

Refinement Concepts Formalized in Higher Order Logic

Ralph-Johan Back, Joakim von Wright, Refinement Concepts Formalized in Higher Order Logic. 2, 1990.

Files:

Full publication in PDF-format

BibTeX entry:

@ARTICLE{jBavo90a,
  title = {Refinement Concepts Formalized in Higher Order Logic},
  author = {Back, Ralph-Johan and Wright, Joakim von},
  volume = {2},
  year = {1990},
}

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

Edit publication