Evaluation of the CFA test programs via formal computer descriptions

Mario R. Barbacci, Daniel P. Siewiorek
[doi] [Google Scholar] [DBLP] [Citeseer] [url]

IEEE Computer 10(10)
Pages 36-43
1977
Note(s): ISPS