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

Stanton, Simon; Malhotra, VM

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

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

History

Publication title

Editors

ISBN

Department/School

Publisher

Place of publication

Event title

Event Venue

Date of Event (Start Date)

Date of Event (End Date)

Repository Status

Socio-economic Objectives

Usage metrics

Categories

Keywords

Licence

Exports