Mats P. Heimdahl;Barbara Jean Czerny
-;-
Testing Software Requirements with Z and Statecharts Applied to an Embedded Control Systemt0t1
Software Quality Control