Publisher
Springer Berlin Heidelberg
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Further Lessons from the JML Project;The Logic of Software. A Tasting Menu of Formal Methods;2022
2. Sound and Relaxed Behavioural Inheritance;From Astrophysics to Unconventional Computation;2019-04-17
3. An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping;Engineering Trustworthy Software Systems;2018
4. Oh Lord, please don't let contracts be misunderstood (functional pearl);ACM SIGPLAN Notices;2016-12-05
5. Oh Lord, please don't let contracts be misunderstood (functional pearl);Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming;2016-09-04