Program Checking

Authors:
Manuel Blum
Affiliations:
-
Venue:
Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science
Year:
1991

Citing 0
Cited 3

Proof verification and the hardness of approximation problems

Journal of the ACM (JACM)
A Fuzzy Visual Query Language for a Domain-Specific Web Search Engine

DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Problem identification using program checking

Discrete Applied Mathematics - Fun with algorithms 2 (FUN 2001)

Quantified Score

Hi-index	0.00

Visualization

Abstract