Spustitelná formální sémantika jazyka Agda

Autor práce

Andrej Tokarčík

Vedúci práce

Jan Obdržálek

O projekte

Ročník

2015

Zdieľať túto prácu