Enabling Auditing of Smart Contracts Through Process Mining.

Published in: From Software Engineering to Formal Methods and Tools, and Back (2019)