Books By Author

• Anglický jazyk

Verification-based software-fault detection

Christoph David Gladisch