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 StantonSimon Stanton, Malhotra, VMNo description available
History
Publication title
Proceedings of the 2004 IADIS International Conference on Applied ComputingEditors
N Guimaraes & P IsaiasISBN
972-98947-3-6Department/School
School of Information and Communication TechnologyPublisher
IADIS PressPlace of publication
PortugalEvent title
Applied Computing 2004Event Venue
Lisbon, PortugalDate of Event (Start Date)
2004-03-23Date of Event (End Date)
2004-03-26Repository Status
- Restricted
