The top documents tagged [sound mathematical theorem]

Automated functional program verification using fixpoint fusion
Documents Automated functional program verification using fixpoint fusion

31 views