Books by IEEE Workshop on Simulation & Test Generation Environments (1985 San Francisco, Calif.) on BookTides.