A. D. Hutcheon, D. T. Jordan, John A. McDermid, R. H. Pierce, I. C. Wand, B. J. Jepson. High integrity software development: process and tool issues. Microprocessors and Microsystems, 19(9):517-524, 1995. [doi]
@article{HutcheonJMPWJ95,
title = {High integrity software development: process and tool issues},
author = {A. D. Hutcheon and D. T. Jordan and John A. McDermid and R. H. Pierce and I. C. Wand and B. J. Jepson},
year = {1995},
doi = {10.1016/0141-9331(96)89279-9},
url = {http://dx.doi.org/10.1016/0141-9331(96)89279-9},
researchr = {https://researchr.org/publication/HutcheonJMPWJ95},
cites = {0},
citedby = {0},
journal = {Microprocessors and Microsystems},
volume = {19},
number = {9},
pages = {517-524},
}