The top documents tagged [coq approach]
HCLT Research Paper: Cost of Quality
803 views