Vista do Automatic program verification in Dynamic Logic with applications to smart contracts

Voltar aos Detalhes do Artigo Automatic program verification in Dynamic Logic with applications to smart contracts Baixar ##common.downloadPdf##