Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
B-Method
Jump to user comments
programming, tool A system for rigorous or formal
development of software using the notion of AbstractMachines to specify and design software systems. The
B-Method is supported by the B-Toolkit.