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