Subject

Higher-Order Logic

Explore catalogue records classified under Higher-Order Logic.

1 catalogue record

Catalogue records

Refinement Calculus Author not listed Year not listed