Mostrar 1-3 de um total de 3 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
2010 | Agile, a structured editor, analyzer, metric evaluator, and transformer for attribute grammars | Rocha, André; Santos, André; Rocha, Daniel, et al. | Artigo em ata de conferência | Acesso aberto |
15-Dez-2011 | GamaBoogie : a contract-based slicer for Boogie programs | Coelho, Márcio | Dissertação de mestrado | Acesso aberto |
2011 | A visual inspector for Boogie programs | Coelho, Márcio; Cruz, Daniela da; Henriques, Pedro Rangel, et al. | Artigo em ata de conferência | Acesso aberto |