|
|
by Luckham, David C., Henke, Friedrich W. von, Krieg-Brueckner, Bernd, Owe, Olaf
Published 1987
“... cycle of a program. Such applications include not only testing, debugging and formal verification of a...”Published 1987
Springer Berlin Heidelberg