Mark Staples -

Not registered as user yet

Name:Mark Staples

Affiliation:CSIRO, Australia

Contributions

ICSE 2023	Committee Member in Software Engineering in Practice within the SEIP - Software Engineering in Practice-track
CPP 2018	Author of Towards Verifying Ethereum Smart Contract Bytecode in Isabelle/HOL within the CPP 2018-track