Petr Máša profile picture

Petr Máša

Mechanizing Hypothesis Formation Principles and Case Studies
Mechanizing Hypothesis Formation