Formalization of COPPUL

Formalization of COPPUL