Generation of certifiably correct programs from formal models

Observa-se, que à medida que aumenta a concentração do polifosfato aumenta a intensificação da luminescência do Eu3+ até uma razão molar PE de aproximadamente 22,4 indicando uma máxima