Software Verification and Reliability Assurance /  

 - Muenich :   The College of Engineering University of Wisconsin-Madison,   1991. 
 - wiele liczbowań;   30 cm. 
 - Elektronika .
 - Elektronika .