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

A Framework for Incorporating Trust into Formal Systems Development

Fredrik Degerlund, Kaisa Sere, A Framework for Incorporating Trust into Formal Systems Development. In: Zhiming Liu Cliff B. Jones, Jim Woodcock (Eds.), Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Proceedings, Lecture Notes in Computer Science 4711, 154–168, Springer, 2007.

BibTeX entry:

@INPROCEEDINGS{inpDeSe07a,
  title = {A Framework for Incorporating Trust into Formal Systems Development},
  booktitle = {Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Proceedings},
  author = {Degerlund, Fredrik and Sere, Kaisa},
  volume = {4711},
  series = {Lecture Notes in Computer Science},
  editor = {Cliff B. Jones, Zhiming Liu and Jim Woodcock},
  publisher = {Springer},
  pages = {154–168},
  year = {2007},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Publication Forum rating of this publication: level 1

Edit publication