| Cifuentes, CN and Hughes, J, “SE Curriculum Design: Methodologies, Formal Methods, and Life Cycle Models Part II -- Formal Methods”, Software Education Conference, Dunedin, New Zealand, pp. 344-346. (1994) [Non Refereed Conference Paper] |
| Data Type | Value |
|---|
| Type of Research | Strategic Basic Research |
| Research Division | Information and Computing Sciences |
| Research Group | Software engineering |
| Research Field | Software testing, verification and validation |
| Research Objective Division | Education and Training |
| Research Objective Group | Other education and training |
| Research Objective Field | Other education and training not elsewhere classified |
| Visit Item on eCite | http://ecite.utas.edu.au/3844 |
