|
|
|
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]
Repository Staff Only: item control page |
|