Cited By
View all- Bordis TKodetzki MSchaefer I(2024)From Concept to Reality: Leveraging Correctness-by-Construction for Better Algorithm DesignComputer10.1109/MC.2024.339094857:7(113-119)Online publication date: 1-Jul-2024
- Kodetzki MBordis TKirsten MSchaefer I(2024)Towards AI-Assisted Correctness-by-Construction Software DevelopmentLeveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies10.1007/978-3-031-75387-9_14(222-241)Online publication date: 27-Oct-2024
- Bordis TRunge TSchultz DSchaefer I(2022)Family-Based and Product-Based Development of Correct-by-Construction Software Product LinesJournal of Computer Languages10.1016/j.cola.2022.10111970(101119)Online publication date: Jun-2022
- Show More Cited By