Ucebnice.cz Zheng, Quan (School of Computing, Queen's University, Canada); Skillicorn, David (Queen's University, Canada)

Zheng, Quan (School of Computing, Queen's University, Canada); Skillicorn, David (Queen's University, Canada)