Integrating formal methods into UML artefacts
Material type: TextLanguage: English Publication details: 2020Subject(s): Dissertation note: Guided by Dr.Jereesh A.S.Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Reference | Department of Computer Science Reference | MTCS32 (Browse shelf(Opens below)) | Not for loan |
Browsing Department of Computer Science shelves, Shelving location: Reference Close shelf browser (Hides shelf browser)
Guided by Dr.Jereesh A.S.
There are no comments on this title.