Cited By
View all- Evrard HDonaldson A(2023)Model Checking FutexesModel Checking Software10.1007/978-3-031-32157-3_3(41-58)Online publication date: 26-Apr-2023
- Aceto LIngólfsdóttir A(2021)Introducing Formal Methods to First-Year Students in Three Intensive WeeksFormal Methods Teaching10.1007/978-3-030-91550-6_1(1-17)Online publication date: 21-Nov-2021
- Arbab FJongmans S(2015)Coordinating Multicore ComputingFormal Methods for Multicore Programming10.1007/978-3-319-18941-3_2(57-96)Online publication date: 7-May-2015
- Show More Cited By