Cited By
View all- Sheng FZhu HHe JYang ZBowen J(2019)Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESLACM Transactions on Software Engineering and Methodology10.1145/329569928:3(1-46)Online publication date: 29-Jul-2019
- Ye KWoodcock J(2017)Model checking of state-rich formalism [InlineEquation not availableInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-015-0402-119:1(73-96)Online publication date: 1-Feb-2017
- Luckcuck MCavalcanti AWellings A(2016)A Formal Model of the Safety-Critical Java Level 2 ParadigmProceedings of the 12th International Conference on Integrated Formal Methods - Volume 968110.1007/978-3-319-33693-0_15(226-241)Online publication date: 1-Jun-2016
- Show More Cited By