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

Contracts as Mathematical Entities in Programming Logic

Ralph-Johan Back, Joakim von Wright, Contracts as Mathematical Entities in Programming Logic. In: Y. Kinoshita (Ed.), Workshop on Abstraction and Refinement, Elsevier, 2000.

Abstract:

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

Files:

Full publication in PDF-format

BibTeX entry:

@INPROCEEDINGS{pBaWra,
  title = {Contracts as Mathematical Entities in Programming Logic},
  booktitle = {Workshop on Abstraction and Refinement},
  author = {Back, Ralph-Johan and Wright, Joakim von},
  editor = {Kinoshita, Y.},
  publisher = {Elsevier},
  year = {2000},
}

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

Edit publication