University of Tasmania
Browse

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, J
No description available

History

Editors

Purvis M

Pagination

344-346

Department/School

School of Information and Communication Technology

Publisher

IEEE Computer Society Press

Event title

Software Education Conference

Event Venue

Dunedin, New Zealand

Date of Event (Start Date)

1994-01-01

Date of Event (End Date)

1994-01-01

Repository Status

  • Restricted

Socio-economic Objectives

Other education and training not elsewhere classified

Usage metrics

    University Of Tasmania

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC