Gordon J. Pace
 
Gordon J. Pace
Professor
Department of Computer Science,
Faculty of ICT,
University of Malta,
Msida MSD 06,
MALTA


Tel: (+356) 2340 2504
Fax: (+356) 2132 0539
E-mail: Gordon.Pace@um.edu.mt

Latest: We have just released contractLarva - a runtime verification tool for Ethereum smart contracts written in Solidity. Check out the repository on github.


Mathematics of Discrete Structures
for Computer Science

amazon.com
amazon.co.uk
Springer
Last updated: 22/10/18