Go backward to Application Areas Go up to Top Go forward to Valuation Function

Relationship

Correctness of implementation can be verified with respect to the denotation.