Towards more effective testing for high assurance systems (1997)

by H Hecht, D Wallace
Venue:Proc. High Assurance Systems Engineering Conf