Steve Winker
Steve Winker.
Generation and verification of finite models and counterexamples using an automated theorem prover answering two open questions.
Journal of the ACM
, 29(2):273-284, April 1982.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database