Software Correctness in Object Oriented Languages: Key Concepts and Comparison.

Lady Baquero, Jose Garrido

Browse the full IKE paper archive.