Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, USA, June 21-23, 1994. Proceedings
Format: paperback
ISBN:
9783540581796 (3540581790)
Publish date: June 1st 1994
Publisher: Springer
Pages no: 486
Edition language: English