Chapman, Roderick. Industrial experience with SPARK. ACM SIGAda Ada Letters, 20(4):64-68, 2000.
@article{chapman2000industrial,
title = {Industrial experience with SPARK},
author = {Chapman, Roderick},
year = {2000},
researchr = {https://researchr.org/publication/chapman2000industrial},
cites = {0},
citedby = {0},
journal = {ACM SIGAda Ada Letters},
volume = {20},
number = {4},
pages = {64-68},
}