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

What's in a Specification

Linas Laibinis, Joakim von Wright, What's in a Specification. In: Martin Schwenke Trevor Vickers Jim Grundy (Ed.), International Refinement Workshop and Formal Methods Pacific (IRW/FMP'98), Discrete Mathematics and Theoretical Computer Science, 180–192, Springer-Verlag, 1998.

BibTeX entry:

@INPROCEEDINGS{pLaWr98a,
  title = {What's in a Specification},
  booktitle = {International Refinement Workshop and Formal Methods Pacific (IRW/FMP'98)},
  author = {Laibinis, Linas and Wright, Joakim von},
  series = {Discrete Mathematics and Theoretical Computer Science},
  editor = {Jim Grundy, Martin Schwenke Trevor Vickers},
  publisher = {Springer-Verlag},
  pages = {180–192},
  year = {1998},
}

Publication Forum rating of this publication: level 1

Edit publication