Knihy od autora

• Anglický jazyk

Automated Theorem Proving in Software Engineering

Johann M. Schumann