Search results for: Julia Lawall
Automated Software Engineering > 2018 > 25 > 3 > 627-673
IEEE Transactions on Reliability > 2017 > 66 > 4 > 1213 - 1228
Lecture Notes in Computer Science > Integrated Formal Methods > Session: Applications of B > 187-206
2014 21st Asia-Pacific Software Engineering Conference > 1 > 215 - 222
IEEE Transactions on Dependable and Secure Computing > 2013 > 10 > 5 > 273 - 286