TY  - RPRT
TI  - Digital Version of Green`s Theorem and its Application to The Coverage Problem in Formal Verification
AU  - Eli Appleboim
AU  - Emil Saucan
PY  - 2003
UR  - https://arxiv.org/abs/cs/0309008
ID  - cs/0309008
ER  -