Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary (also found in English - Vietnamese, English - English (Wordnet), )
CLEAR
Jump to user comments
["An Informal Introduction to Specification Using CLEAR",
R.M. Burstall in The Correctness Problem in Computer Science,
R.S. Boyer et al eds, Academic Press 1981, pp. 185-213].