Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference8 articles.
1. A logic covering undefinedness in program proofs;Barringer;Acta Informatica,1984
2. Free logics;Bencivenga,1983
3. Free logics;Bencivenga,1984
4. An axiomatic basis for computer programming;Hoare;Comm. ACM,1969
5. An axiomatic basis for computer programming;Hoare;Comm. ACM,1969
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献