On B and Event-B: Principles, Success and Challenges [chapter]

Jean-Raymond Abrial
2018 Lecture Notes in Computer Science  
doi:10.1007/978-3-319-91271-4_3 fatcat:5rp7sjeuevgepgobv533z3tosa