David L. Dill
Popular items by David L. Dill
View all offers-
Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings
Item prices starting from
View 13 offers£ 23.31
-
Trace Theory for Automatic Hierarchical Verification of Speed–Independent Circuits (ACM Distinguished Dissertation)
Dill, David L
Item prices starting from
View 20 offers£ 25.45
