Cited By
View all- Hallerstede SHatcliff J(2023)A Mechanized Semantics for Component-Based Systems in the HAMR AADL RuntimeFormal Aspects of Component Software10.1007/978-3-031-52183-6_3(45-64)Online publication date: 26-Oct-2023
- Robby Hatcliff J(2021)Slang: The Sireum Programming LanguageLeveraging Applications of Formal Methods, Verification and Validation10.1007/978-3-030-89159-6_17(253-273)Online publication date: 17-Oct-2021
- Schindler CGrundy JLe Goues CLo D(2020)Towards transparency-encouraging partial software disclosure to enable trust in data usageProceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering10.1145/3324884.3415282(1167-1169)Online publication date: 21-Dec-2020
- Show More Cited By