Publication
Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Showing 4741 – 4750 of 4741 results
Yuri Gurevich
Algebra and Logic | April 1963, pp. 37-39