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

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

Autor práce

Martin Hruška

Vedúci práce

Lukáš Holík

O projekte

Leták Diplomová práca

Ročník

2015

Zdieľať túto prácu