Maksym Bortin -

Not registered as user yet

Name:Maksym Bortin

Contributions

CPP 2018	Author of Towards Verifying Ethereum Smart Contract Bytecode in Isabelle/HOL within the CPP 2018-track
CPP 2017	Author of COMPLX: a verification framework for concurrent imperative programs within the CPP-track