Authors: CULLYER WJ STOREY N

Citation: Wj. Cullyer et N. Storey, TOOLS AND TECHNIQUES FOR THE TESTING OF SAFETY-CRITICAL SOFTWARE, Computing & control engineering journal, 5(5), 1994, pp. 239-244