Publisher
Oxford University Press (OUP)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Linnea;ACM Transactions on Mathematical Software;2021-09-30
2. Validity checking for combinations of theories with equality;Formal Methods in Computer-Aided Design;1996
3. A software engineering paradigm for program synthesis;Software Engineering Journal;1994
4. A taste of rewrite systems;Functional Programming, Concurrency, Simulation and Automated Reasoning;1993
5. On specifying software quality;Software Quality Journal;1992-03