Gianluca Barbon, Vincent Leroy, Gwen Salaün. Debugging of Concurrent Systems using Counterexample Analysis. Mehdi Dastani; Marjan Sirjani.
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Tehran, Iran. Springer Verlag, Lecture Notes in Computer Science, LNCS-10522, pp.20-34, 2017, Fundamentals of Software Engineering.
〈http://fsen.ir/2017/〉.
〈10.1007/978-3-319-68972-2_2〉.
〈hal-01533401v2〉