Use of U2B for Specifying B Action Systems

Colin Snook, Marina Walden

Research output: Chapter in Book/Conference proceedingConference contributionScientific

Original languageEnglish
Title of host publicationProceedings of RCS'02 - International workshop on Refinement of Critical Systems: Methods, Tools and Experience
Place of PublicationGrenoble France
Publication statusPublished - 2002
MoE publication typeB3 Non-refereed article in conference proceedings

Cite this