File(s) not publicly available
SE Curriculum Design: Methodologies, Formal Methods, and Life Cycle Models Part II -- Formal Methods
conference contribution
posted on 2023-05-23, 15:46 authored by Cifuentes, CN, Hughes, JNo description available
History
Editors
Purvis MPagination
344-346Department/School
School of Information and Communication TechnologyPublisher
IEEE Computer Society PressEvent title
Software Education ConferenceEvent Venue
Dunedin, New ZealandDate of Event (Start Date)
1994-01-01Date of Event (End Date)
1994-01-01Repository Status
- Restricted