Knihy od autora

• Anglický jazyk

Automated Technology for Verification and Analysis

Supratik Chakraborty