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

Ensuring Correctness of Java Frameworks:A Formal Look at JCF

Anna Mikhajlova, Emil Sekerinski, Ensuring Correctness of Java Frameworks:A Formal Look at JCF. TUCS Technical Reports 250, Turku Centre for Computer Science, 1999.

Abstract:

http://www.tucs.fi/Publications/techreports/TR250.php

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tMiSe99a,
  title = {Ensuring Correctness of Java Frameworks:A Formal Look at JCF},
  author = {Mikhajlova, Anna and Sekerinski, Emil},
  number = {250},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {1999},
  keywords = {formal specification, reasoning, object-oriented frameworks, separate subtyping and subclassing, nondeterminism, correctness, verification, class refinement, Java},
}

Edit publication