TY  - GEN
N2  - cse-94-034
DO  - 10.6083/sx61dm626
DO  - DOI
AB  - cse-94-034
T1  - Design automation: making formal methods relevant
DA  - 1994
AU  - Walton, Lisa
L1  - https://digitalcollections.ohsu.edu/record/3721/files/csetech-38.pdf
PY  - 1994
ID  - 3721
L4  - https://digitalcollections.ohsu.edu/record/3721/files/csetech-38.pdf
TI  - Design automation: making formal methods relevant
Y1  - 1994
L2  - https://digitalcollections.ohsu.edu/record/3721/files/csetech-38.pdf
LK  - https://digitalcollections.ohsu.edu/record/3721/files/csetech-38.pdf
UR  - https://digitalcollections.ohsu.edu/record/3721/files/csetech-38.pdf
ER  -