Checking the Correspondence between UML Models and Implementation.

Selim Ciraci, Somayeh Malakuti, Shmuel Katz, Mehmet Aksit

Browse the full RV paper archive.