Computer-aided Verification ‘90
:: Proceedings Of A Dimacs Workshop, June 18-21, 1990
| Author | |
Engineering, Benha |
Faculty |
1991 |
Publish Year |
Providence, RI |
Publish Place |
Association for Computing Machinery |
Publisher |
xii, 628 p |
Size |