000003721 001__ 3721
000003721 005__ 20231206121124.0
000003721 0247_ $$2DOI$$a10.6083/sx61dm626
000003721 037__ $$aIR
000003721 245__ $$aDesign automation: making formal methods relevant
000003721 269__ $$a1994
000003721 336__ $$aArticle
000003721 520__ $$acse-94-034
000003721 540__ $$fCC BY
000003721 542__ $$fIn copyright - single owner
000003721 691__ $$aOregon Graduate Institute
000003721 7001_ $$aWalton, Lisa
000003721 8564_ $$95f76b55b-7543-4312-9fa8-36451d52f25b$$s121488$$uhttps://digitalcollections.ohsu.edu/record/3721/files/csetech-38.pdf
000003721 905__ $$a/rest/prod/sx/61/dm/62/sx61dm626
000003721 980__ $$aScholars Archive