Supplementing a UML Development Process with B.

Helen Treharne

Browse the full FM paper archive.