Cited By
View all- Liu ZTeng JLiu B(2023)Multi-dimensional Abstraction and Decomposition for Separation of ConcernsDependable Software Engineering. Theories, Tools, and Applications10.1007/978-981-99-8664-4_9(152-170)Online publication date: 27-Nov-2023
- Liu ZTeng JLiu B(2023)Formal Aspects of Component SoftwareFormal Aspects of Component Software10.1007/978-3-031-52183-6_9(168-193)Online publication date: 26-Oct-2023
- Zhao LWang SLiu Z(2013)Graph-based object-oriented hoare logicTheories of Programming and Formal Methods10.5555/2554641.2554664(374-393)Online publication date: 1-Jan-2013
- Show More Cited By