Computer supported test generation from SDL specifications.

Sat, 01 Jan 1994 00:00:00 +0100

Anders Ek, Jan Ellsberger, Anthony Wiles:
Computer supported test generation from SDL specifications. PSTV 1994: 351-358