Rodin Handbook


1.2.3 The B-Method, an Introduction (Steve Schneider)

This text represents the “standard textbook” for learning formal modeling in B (rather than Event-B). As Event-B is similar to B, this book is a great introduction to the topic, allowing students to get acquainted with the subject matter, even without an instructor. (ISBN: 978-0333792841)