Rebiha, R. (2011). Métodos formais algébricos para geração de invariantes.
Referência de acordo com a norma ChicagoRebiha, Rachid. Métodos Formais Algébricos Para Geração De Invariantes. 2011.
Referência de acordo com a norma MLARebiha, Rachid. Métodos Formais Algébricos Para Geração De Invariantes. 2011.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma, para gerenciar as citações recomenda-se a utilização do software Zotero
, que permite o upload automático das referências do Oasisbr.