Machado, E. Z. d. A. (2016). Uso de Sistemas de Transições Modais de Kripke para Representacão de Comportamento Parcial no Desenvolvimento incremental e interativo de software.
Referência de acordo com a norma ChicagoMachado, Efraim Zalmoxis de Almeida. Uso De Sistemas De Transições Modais De Kripke Para Representacão De Comportamento Parcial No Desenvolvimento Incremental E Interativo De Software. 2016.
Referência de acordo com a norma MLAMachado, Efraim Zalmoxis de Almeida. Uso De Sistemas De Transições Modais De Kripke Para Representacão De Comportamento Parcial No Desenvolvimento Incremental E Interativo De Software. 2016.
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.