Computer aided generation of test sequences for logical systems
By: Roger G. Bennetts
Contributors: University of Southampton
Published: 1972
Language: eng
Notes: Thesis (doctoral)--University of Southampton, 1972.