Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
formal methods
Jump to user comments
mathematics, specification Mathematically based techniques
for the specification, development and verification of
software and hardware systems.