M. A. J. Burford, Fevzi Belli. CADAS: A tool for designing reliable embedded software and supporting testing in the large . In Karl-Erwin Großpietsch, Mario Dal Cin, editors, Fehlertolerierende Rechensysteme, 2. GI/NTG/GMR-Fachtagung, Bonn, 19.-21. September 1984, Proceedings. Volume 84 of Informatik-Fachberichte, pages 101-126, Springer, 1984.
@inproceedings{BurfordB84,
title = {CADAS: A tool for designing reliable embedded software and supporting testing in the large },
author = {M. A. J. Burford and Fevzi Belli},
year = {1984},
tags = {embedded software, testing},
researchr = {https://researchr.org/publication/BurfordB84},
cites = {0},
citedby = {0},
pages = {101-126},
booktitle = {Fehlertolerierende Rechensysteme, 2. GI/NTG/GMR-Fachtagung, Bonn, 19.-21. September 1984, Proceedings},
editor = {Karl-Erwin Großpietsch and Mario Dal Cin},
volume = {84},
series = {Informatik-Fachberichte},
publisher = {Springer},
isbn = {3-540-13348-8},
}