Return to Article Details
Foundations of the B method
Download
Download PDF