eCite Digital Repository

SE Curriculum Design: Methodologies, Formal Methods, and Life Cycle Models Part II -- Formal Methods

Citation

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]

Item Details

Item Type:Non Refereed Conference Paper
Research Division:Information and Computing Sciences
Research Group:Computer Software
Research Field:Software Engineering
Objective Division:Education and Training
Objective Group:Education and Training Systems
Objective Field:Education and Training Systems not elsewhere classified
Author:Cifuentes, CN (Dr Cifuentes)
ID Code:3844
Year Published:1994
Deposited By:Computer Science
Deposited On:1995-08-01
Last Modified:1996-02-01
Downloads:0

Repository Staff Only: item control page