SPATS - A New Toolset for High-Integrity Ada Development
R. Chapman, A. Burns and A. Wellings
No Abstract Available
Download Not Available
BibTex Entry
@inproceedings{Chapman1995,
abstract = {},
author = {R. Chapman and A. Burns and A. Wellings},
booktitle = {Ada User (Special Issue) Proceeedings for the 1995 Ada UK Conference},
pages = {123-131},
title = {SPATS - A New Toolset for High-Integrity Ada Development},
year = {1995}
}