Joining specification statements

Extended static checking for Java

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation

A Weakest Precondition Semantics for Refinement of Object-Oriented Programs

IEEE Transactions on Software Engineering

Calculational semantics: Deriving programming theories from equations by functional predicate calculus

ACM Transactions on Programming Languages and Systems (TOPLAS)

Freefinement

POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

JML’s rich, inherited specifications for behavioral subtypes

ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering

PLDI 2002: Extended static checking for Java

ACM SIGPLAN Notices - Supplemental issue