Verifikace ukazatelových programů pomocí lesních automatů

Verifikace ukazatelových programů pomocí lesních automatů

Author

Martin Hruška

Supervisor

Lukáš Holík

About the project

Abstract Thesis

Year

2015

Share