Formal Reasoning About Influence in Natural Sciences Experiments.

Florian Bruse, Martin Lange, Sren Mller

Browse the full CADE paper archive.