Vincent Celier, Drasko M. Sotirovski, Christopher J. Thompson. Code-Data Consistency in Ada. In Keith Hardy, James S. Briggs, editors, Reliable Software Technologies - Ada-Europe 97, 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997, Proceedings. Volume 1251 of Lecture Notes in Computer Science, pages 209-217, Springer, 1997.
@inproceedings{CelierST97,
title = {Code-Data Consistency in Ada},
author = {Vincent Celier and Drasko M. Sotirovski and Christopher J. Thompson},
year = {1997},
tags = {data-flow, consistency},
researchr = {https://researchr.org/publication/CelierST97},
cites = {0},
citedby = {0},
pages = {209-217},
booktitle = {Reliable Software Technologies - Ada-Europe 97, 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997, Proceedings},
editor = {Keith Hardy and James S. Briggs},
volume = {1251},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-63114-3},
}