Development of practical verification tools (1996)

by D J King, R D Arthan
Venue:ICL Systems Journal