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

Demonic Refinement Algebra with Domain

Kim Solin, Joakim von Wright, Demonic Refinement Algebra with Domain. In: Proceedings of the 15th Nordic Workshop on Programming Theory , Reports on Computer Science and Mathematics, Ser. B, 2003.

BibTeX entry:

@INPROCEEDINGS{inpSoWr03a,
  title = {Demonic Refinement Algebra with Domain},
  booktitle = {Proceedings of the 15th Nordic Workshop on Programming Theory },
  author = {Solin, Kim and Wright, Joakim von},
  number = {34},
  series = {Reports on Computer Science and Mathematics, Ser. B},
  year = {2003},
}

Belongs to TUCS Research Unit(s): Learning and Reasoning Lab

Edit publication