Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Designing programs that check their work
Home
Publications
Designing programs that check their work
Designing programs that check their work
MB
M. Blum
M. Blum
SK
S. Kanna
S. Kanna
Publisher Website
Google Scholar
Cite
Download
Share
Download
1 January 1989
conference paper
conference paper
Published by
Association for Computing Machinery (ACM)
p.
86-97
https://doi.org/10.1145/73007.73015
Abstract
No abstract available
Cited by 169 articles