University of Tasmania
Browse

File(s) not publicly available

Validation led development of object-oriented software using a nodel verifier

conference contribution
posted on 2023-05-24, 07:58 authored by Simon Stanton, Malhotra, VM
No description available

History

Publication title

Proceedings of the 2004 IADIS International Conference on Applied Computing

Editors

N Guimaraes & P Isaias

ISBN

972-98947-3-6

Department/School

School of Information and Communication Technology

Publisher

IADIS Press

Place of publication

Portugal

Event title

Applied Computing 2004

Event Venue

Lisbon, Portugal

Date of Event (Start Date)

2004-03-23

Date of Event (End Date)

2004-03-26

Repository Status

  • Restricted

Socio-economic Objectives

Expanding knowledge in the mathematical sciences

Usage metrics

    University Of Tasmania

    Categories

    Keywords

    No keyword provided

    Licence

    In Copyright

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC