Use of U2B for Specifying B Action Systems

Colin Snook, Marina Walden

Research output: Chapter in Book/Conference proceedingConference contributionScientific

Search results