Author:
Paige Richard F.,Hehner Eric C. R.
Publisher
Springer Berlin Heidelberg
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Semantics of Plurals;Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering;2022-11-29
2. A Design-Based Model of Reversible Computation;Unifying Theories of Programming;2006
3. Decoupling in Object Orientation;FM 2005: Formal Methods;2005