Open AccessFORMALIZAÇÃO DE ALGORITMOS DE CRIPTOGRAFIA EM UM ASSISTENTE DE PROVAS INTERATIVO
Author(s) -
GUILHERME GOMES FELIX DA SILVA
Publication year - 2018
Language(s) - Portuguese
Resource type - Dissertations/theses
DOI - 10.17771/pucrio.acad.35851
Subject(s) - mathematical proof , correctness , automated theorem proving , gas meter prover , proof assistant , computer science , programming language , calculus (dental) , compiler , algorithm , theoretical computer science , discrete mathematics , mathematics , medicine , geometry , dentistry
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom