Are you sure you want to log out?
The Use of Rippling to Automate Event-B Invariant Preservation Proofs
ABOUT BOOK
Abstract is not available.
