Where academic tradition
meets the exciting future

Ensuring Correctness of Object and Component Systems

Anna Mikhajlova, Ensuring Correctness of Object and Component Systems. TUCS Dissertations 18. Turku Centre for Computer Science, 1999.

Files:

Full publication in PDF-format

BibTeX entry:

@PHDTHESIS{phdMikhajlova99a,
  title = {Ensuring Correctness of Object and Component Systems},
  author = {Mikhajlova, Anna},
  number = {18},
  series = {TUCS Dissertations},
  school = {Turku Centre for Computer Science},
  year = {1999},
  ISBN = {952-12-0518-0},
}

Edit publication