Ensuring Correctness of Java Frameworks: A Formal Look at JCF (1999)

by Anna Mikhajlova , Emil Sekerinski
Citations:1 - 0 self