Towards Feature-Oriented Specification and Development with Event-B.

Michael Poppleton

Browse the full REFSQ paper archive.