CitedEvidence
User Settings
Article

A Notation for the Specification of Computer Programs

Tony Hoare-1976-01-01
0

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

Programming languageComputer scienceNotationSoftware engineeringArithmeticMathematics

Chat

Click to start Chat