Constituent Elements of a Correctness-Preserving UML Design Approach.

Tiberiu Seceleanu, Juha Plosila

Browse the full IFM paper archive.