Formalization of guarantees

Registration of users and agents in MIBGAS and MIBGAS Derivatives

Formalization of guarantees