Publisher
Springer Berlin Heidelberg
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Experiment with Denotational Semantics;SN Computer Science;2019-08-14
2. Unifying Theories of Logic and Specification;Lecture Notes in Computer Science;2013
3. Extending Floyd-Hoare Logic for Partial Pre- and Postconditions;Information and Communication Technologies in Education, Research, and Industrial Applications;2013
4. A Semantic Analysis of Logics That Cope with Partial Terms;Abstract State Machines, Alloy, B, VDM, and Z;2012
5. Partiality and Nondeterminacy in Program Proofs;Formal Aspects of Computing;1998-09