Structuring retrenchments in B by decomposition (2003)

Cached

Download Links

by Michael Poppleton , Richard Banach
Venue:PROC. FME2003: FORMAL METHODS, VOLUME 2805 OF LNCS
Citations:6 - 5 self