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

Compositional Symmetric Sharing in B

Martin Büchi, Ralph Back, Compositional Symmetric Sharing in B. In: Proceedings of FM'99: World Congress on Formal Methods, Lecture Notes in Computer Science 1708, 431–451, Springer Verlag, 1999.

Abstract:

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

Files:

Full publication in PDF-format

BibTeX entry:

@INPROCEEDINGS{pBuBa99a,
  title = {Compositional Symmetric Sharing in B},
  booktitle = {Proceedings of FM'99: World Congress on Formal Methods},
  author = {Büchi, Martin and Back, Ralph},
  volume = {1708},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer Verlag},
  pages = {431–451},
  year = {1999},
}

Publication Forum rating of this publication: level 1

Edit publication