Cited By
View all- Kuehn E(2022)The Peer-Model tool-chainScience of Computer Programming10.1016/j.scico.2022.102876(102876)Online publication date: Sep-2022
- Kühn ERadschek S(2018)An Initial User Study Comparing the Readability of a Graphical Coordination Model with Event-B NotationSoftware Engineering and Formal Methods10.1007/978-3-319-74781-1_38(574-590)Online publication date: 2-Feb-2018
- Elaraby NKühn EMessinger ARadschek S(2018)Towards a Hybrid Verification ApproachSoftware Technologies: Applications and Foundations10.1007/978-3-030-04771-9_27(367-386)Online publication date: 6-Dec-2018
- Show More Cited By