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

Mechanised Formal Reasoning About Modular Programs

Linas Laibinis, Mechanised Formal Reasoning About Modular Programs. TUCS Dissertations 24. Turku Centre for Computer Science, 2000.

Abstract:

http://www.tucs.fi/Publications/phdthesis/phdLaibinisa.php

Files:

Full publication in PDF-format

BibTeX entry:

@PHDTHESIS{phdLaibinisa,
  title = {Mechanised Formal Reasoning About Modular Programs},
  author = {Laibinis, Linas},
  number = {24},
  series = {TUCS Dissertations},
  school = {Turku Centre for Computer Science},
  year = {2000},
  ISBN = {951-29-1683-5},
}

Edit publication