Subject
Computer Science Applications,Information Systems,Software
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Verification of Cloud and Fog Systems:A Review and Research Challenges;JUCS - Journal of Universal Computer Science;2021-04-28
2. The Z Notation: Whence the Cause and Whither the Course?;Engineering Trustworthy Software Systems;2016
3. A hypercomputational alien;Applied Mathematics and Computation;2006-07
4. How to Compare the Power of Computational Models;New Computational Paradigms;2005
5. Select Z Bibliography;ZUM ’98: The Z Formal Specification Notation;1998