Verification of object-oriented designs
Wasyl Baluta · Mspace (University of Manitoba) · 1997
Disæ¡lotion Ahslrocts lntemotionol qnd Mosters Abstræts lntemotional ore orronged by brood, çnerol sub¡ect cotegories.Pleose select the one sub¡ect which nrcst neorly describes the contenf of your dissertotion or thesis.Enter ñe corresponding fourdigit code in the spoces provided.