Computer Aided Verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
by G.V. Bochmann, D.K. Probst Paperback 1993
- Author: G.V. Bochmann, D.K. Probst
- ISBN 13: 9783540564966
- ISBN 10: 3540564969
- Publication Year: 1993
- Language: English
Specifications
Index-103540564969
LanguageEnglish
Index-139783540564966
Period-
Class Track-
Publisher- (1993)
Pages-