Filtros : "MODELOS" "Financiado pelo EPSRC" Removido: "Cadernos de Didatica" Limpar

Filtros



Limitar por data


  • Fonte: Software Quality Journal. Unidade: ICMC

    Assuntos: SEMÂNTICA DE PROGRAMAÇÃO, MODELOS, FALHA, ÁLGEBRA COMPUTACIONAL

    Acesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      CAVALCANTI, Ana e SIMÃO, Adenilso da Silva. Fault-based refinement-testing for CSP. Software Quality Journal, v. 27, n. 2, p. 529-562, 2019Tradução . . Disponível em: https://doi.org/10.1007/s11219-018-9431-9. Acesso em: 27 nov. 2025.
    • APA

      Cavalcanti, A., & Simão, A. da S. (2019). Fault-based refinement-testing for CSP. Software Quality Journal, 27( 2), 529-562. doi:10.1007/s11219-018-9431-9
    • NLM

      Cavalcanti A, Simão A da S. Fault-based refinement-testing for CSP [Internet]. Software Quality Journal. 2019 ; 27( 2): 529-562.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/s11219-018-9431-9
    • Vancouver

      Cavalcanti A, Simão A da S. Fault-based refinement-testing for CSP [Internet]. Software Quality Journal. 2019 ; 27( 2): 529-562.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/s11219-018-9431-9

Biblioteca Digital de Produção Intelectual da Universidade de São Paulo     2012 - 2025