Blockchain
Projeto de blockchain de Sydney visa entregar nova linguagem de programação
Verificador de contrato inteligente automatizado Um grupo de pesquisa de blockchain dedicado na Universidade de Sydney foi formado para criar um software automático de verificação