Sign in
Massimiliano Sampaolo
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Clinical Pathway
Process Mining
Medical Images
Petri Net
Top Venues
From Software Engineering to Formal Methods and Tools, and Back
</>
Publications
</>
Flavio Corradini
,
Fausto Marcantoni
,
Andrea Morichetta
,
Andrea Polini
,
Barbara Re
,
Massimiliano Sampaolo
Enabling Auditing of Smart Contracts Through Process Mining.
From Software Engineering to Formal Methods and Tools, and Back
(2019)