Using B to Verify the Weaving of Aspects.

Ninh-Thuan Truong, Viet Ha Nguyen

Browse the full APSEC paper archive.