Cited By
View all- Hallerstede SHatcliff JRobby (2024)Teaching with Logika: Conceiving and Constructing Correct SoftwareFormal Methods Teaching10.1007/978-3-031-71379-8_7(106-123)Online publication date: 10-Sep-2024
- Robby Hatcliff JBelt J(2024)Logika: The Sireum Verification FrameworkFormal Methods for Industrial Critical Systems10.1007/978-3-031-68150-9_6(97-116)Online publication date: 9-Sep-2024
- Hatcliff JBelt JRobby Hardin D(2024)Integrated Contract-Based Unit and System Testing for Component-Based SystemsNASA Formal Methods10.1007/978-3-031-60698-4_25(406-426)Online publication date: 4-Jun-2024
- Show More Cited By