Interface of Algebraic Specification and Larch (Family of Specification) Languages (V-U)
- Course:Formal Methods for Software Engineering (V-U)
- Discipline:Applied Sciences
- Institute:Virtual University
- Instructor(s): Dr. Fakhar Lodhi
- Level:Undergraduate