To search, Click below search items. |
| All Published Papers Search Service |
|
|
|
Title |
Specification and Verification Techniques of Object Oriented Programs using Invariants |
|
Author |
Beenish Zafar, Zara Hassan, Mobashirah Nasir, Sidrah Naheed, Beenish Abid, Umbreen Fatima and Rimsha Awan |
| Citation |
Vol. 19 No. 8 pp. 39-50 |
|
Keywords |
Object oriented programming, Verification, Specification, Object invariants, Class invariants. |
