Formal specification of termination checking
Master Project
of Arthur Jacques
Formal specification of termination checking
Student: Arthur Jacques
Supervisor(s): Jesper Cockx