- Homepage
- Key Information
- Students
- Staff
- PGR
- Health and Safety
- Computer Support
- National Student Survey (NSS)
- Intranet Help
Engineering, Mathematics and Physical Sciences Intranet
Billy Thornton
Billy Thornton
Publications
Copyright Notice: Any articles made available for download are for personal use only. Any other use requires prior permission of the author and the copyright holder.
2023
- Marmsoler D, Thornton B. (2023) SSCalc: A Calculus for Solidity Smart Contracts, Software Engineering and Formal Methods, Springer Nature Switzerland, 184-204, DOI:10.1007/978-3-031-47115-5_11. [PDF]
Showing 1 publications from Symplectic.