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

Proceedings of the 5th Nordic Workshop on Program Correctness

Ralph-Johan Reinhold Back, Kaisa Sere (Eds.), Proceedings of the 5th Nordic Workshop on Program Correctness, Reports on Computer Science and Mathematics, Ser. B, Åbo Akademi, 1994.

BibTeX entry:

@PROCEEDINGS{bBaSe94,
  title = {Proceedings of the 5th Nordic Workshop on Program Correctness},
  number = {18},
  series = {Reports on Computer Science and Mathematics, Ser. B},
  editor = {Back, Ralph-Johan Reinhold and Sere, Kaisa},
  publisher = {Åbo Akademi},
  year = {1994},
}

Edit publication