Filtros : "Simão, Adenilso da Silva" "Bigonha, Roberto da Silva" Limpar

Filtros



Refine with date range


  • Source: Computer Languages, Systems & Structures. Unidade: ICMC

    Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO

    Acesso à fonteAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SIMÃO, Adenilso da Silva e MALDONADO, José Carlos e BIGONHA, Roberto da Silva. A tranformational language for mutant description. Computer Languages, Systems & Structures, v. 35, n. 3, p. 322-339, 2009Tradução . . Disponível em: https://doi.org/10.1016/j.cl.2008.10.001. Acesso em: 26 jul. 2024.
    • APA

      Simão, A. da S., Maldonado, J. C., & Bigonha, R. da S. (2009). A tranformational language for mutant description. Computer Languages, Systems & Structures, 35( 3), 322-339. doi:10.1016/j.cl.2008.10.001
    • NLM

      Simão A da S, Maldonado JC, Bigonha R da S. A tranformational language for mutant description [Internet]. Computer Languages, Systems & Structures. 2009 ; 35( 3): 322-339.[citado 2024 jul. 26 ] Available from: https://doi.org/10.1016/j.cl.2008.10.001
    • Vancouver

      Simão A da S, Maldonado JC, Bigonha R da S. A tranformational language for mutant description [Internet]. Computer Languages, Systems & Structures. 2009 ; 35( 3): 322-339.[citado 2024 jul. 26 ] Available from: https://doi.org/10.1016/j.cl.2008.10.001
  • Source: Proceedings. Conference titles: Workshop on Formal Methods. Unidade: ICMC

    Assunto: ENGENHARIA DE SOFTWARE

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SIMÃO, Adenilso da Silva e MALDONADO, José Carlos e BIGONHA, Roberto da Silva. Using denotational semantics in the validation of the compiler for a mutation-oriented language. 2002, Anais.. Porto Alegre: Instituto de Informática da UFRGS, 2002. . Acesso em: 26 jul. 2024.
    • APA

      Simão, A. da S., Maldonado, J. C., & Bigonha, R. da S. (2002). Using denotational semantics in the validation of the compiler for a mutation-oriented language. In Proceedings. Porto Alegre: Instituto de Informática da UFRGS.
    • NLM

      Simão A da S, Maldonado JC, Bigonha R da S. Using denotational semantics in the validation of the compiler for a mutation-oriented language. Proceedings. 2002 ;[citado 2024 jul. 26 ]
    • Vancouver

      Simão A da S, Maldonado JC, Bigonha R da S. Using denotational semantics in the validation of the compiler for a mutation-oriented language. Proceedings. 2002 ;[citado 2024 jul. 26 ]

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2024