program proof

Related publications