Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings
David L. Dill (ed.)
Bok Engelsk 1994 CAV '94
Utgitt | Berlin : Springer , c1994
|
---|---|
Omfang | IX, 480 s. : ill.
|
Emner | |
ISBN | 0387581790. - 3540581790
|