DMCA

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:7 - 6 self