Independence results in formal topology.

Silvio Valentini

Published in: Ann. Pure Appl. Log. (2012)

Keyphrases

formal model
conditional independence
formal models
mathematical theory
probability distribution
software engineering
formal specification
formal methods
formal representation