Voltar aos Detalhes do Artigo Deriving Applicative Programs from Formal Specifications Baixar ##common.downloadPdf##