Aligning the Map Requirements Modelling with the B-method for Formal Software Development.

Abdul Babar, Vladimir Tosic, John Potter

Browse the full APSEC paper archive.