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

PVS Support for Invariant-Based Programming

Johannes Eriksson, Ralph-Johan Back, PVS Support for Invariant-Based Programming. TUCS Technical Reports 979, Turku Centre for Computer Science, 2010.

BibTeX entry:

@TECHREPORT{tErBa10a,
  title = {PVS Support for Invariant-Based Programming},
  author = {Eriksson, Johannes and Back, Ralph-Johan},
  number = {979},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2010},
}

Edit publication