Correctness of Object Oriented Models by Extended Type Inference.

Simon Foster, Ondrej Rypacek, Georg Struth

Browse the full ICTAC paper archive.