Linked Data Explorer
Toward interactive design of correct programs
- "Toward interactive design of correct programs : Paper presented at ifip congress 1971, ljubljana, 23.08.1971"
- "Toward interactive design of correct programs"
- "Toward interactive design of correct programs"@en
- "toward interactive design of correct programs"