Publisher
Springer Berlin Heidelberg
Cited by
123 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modeling and Verification of Natural Language Requirements based on States and Modes;Formal Aspects of Computing;2024-06-18
2. The Concept of Class Invariant in Object-oriented Programming;Formal Aspects of Computing;2024-03-20
3. Herding CATs;Software Engineering and Formal Methods;2023
4. Traits: Correctness-by-Construction for Free;Formal Techniques for Distributed Objects, Components, and Systems;2022
5. Footprint Logic for Object-Oriented Components;Formal Aspects of Component Software;2022