Cited By
View all- Khurshid SMarinov DJackson D(2019)An analyzable annotation languageACM SIGPLAN Notices10.1145/583854.58244137:11(231-245)Online publication date: 13-Nov-2019
- Redondo RArias JVilas ADuque JSolla A(2004)Improving the Consistency Checking Process by Reusing Formal Verification KnowledgePerspectives of System Informatics10.1007/978-3-540-39866-0_37(366-380)Online publication date: 2004
- Díaz-Redondo RPazos-Arias JFernández-Vilas A(2003)Reuse of Formal Verification Efforts of Incomplete Models at the Requirements Specification StageComponent-Based Software Quality10.1007/978-3-540-45064-1_15(326-351)Online publication date: 2003
- Show More Cited By