This book, with the CD-ROM included, is the documentation of a unique collaborative effort in eva...

Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control a la Spec#.- ...

The B Method is a means for specifying, designing and coding software systems. The long-awaited B...

A practical text suitable for an introductory or advanced course in formal methods, this book pre...