Computer aided verification : 5th international conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings
Costas Courcoubetis (ed.)
Bok Engelsk 1993 CAV '93
Utgitt | Berlin : Springer , c1993
|
---|---|
Omfang | IX, 504 s. : ill.
|
Emner | |
ISBN | 0387569227. - 3540569227
|