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

On the Formal Derivation of a FEAL Microprocessor

Rimvydas Ruksenas, Kaisa Sere, Yi Zhao, On the Formal Derivation of a FEAL Microprocessor. In: Proceedings of the 6th Nordic Workshop on Programming Theory, BRICS Notes Series, 332--345, 1994.

Abstract:

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

Files:

Full publication in PDF-format

BibTeX entry:

@INPROCEEDINGS{pRSZ94,
  title = {On the Formal Derivation of a FEAL Microprocessor},
  booktitle = {Proceedings of the 6th Nordic Workshop on Programming Theory},
  author = {Ruksenas, Rimvydas and Sere, Kaisa and Zhao, Yi},
  series = {BRICS Notes Series},
  pages = {332--345},
  year = {1994},
}

Edit publication