Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings (Q54015882)
Jump to navigation
Jump to search
No description defined
- Computer-Aided Verification
- CAV '90
Language | Label | Description | Also known as |
---|---|---|---|
English | Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings |
No description defined |
|
Statements
Computer-Aided Verification (English)
0 references
1991
0 references