%0 Conference Paper %1 conf/birthday/CorradiniM0P0S19 %A Corradini, Flavio %A Marcantoni, Fausto %A Morichetta, Andrea %A Polini, Andrea %A Re, Barbara %A Sampaolo, Massimiliano %B From Software Engineering to Formal Methods and Tools, and Back %D 2019 %E ter Beek, Maurice H. %E Fantechi, Alessandro %E Semini, Laura %I Springer %K dblp %P 467-480 %T Enabling Auditing of Smart Contracts Through Process Mining. %U http://dblp.uni-trier.de/db/conf/birthday/gnesi2019.html#CorradiniM0P0S19 %V 11865 %@ 978-3-030-30985-5

@inproceedings{conf/birthday/CorradiniM0P0S19, added-at = {2022-06-23T00:00:00.000+0200}, author = {Corradini, Flavio and Marcantoni, Fausto and Morichetta, Andrea and Polini, Andrea and Re, Barbara and Sampaolo, Massimiliano}, biburl = {https://www.bibsonomy.org/bibtex/28db04ade3d1972a107c76de1cd790dcb/dblp}, booktitle = {From Software Engineering to Formal Methods and Tools, and Back}, crossref = {conf/birthday/2019gnesi}, editor = {ter Beek, Maurice H. and Fantechi, Alessandro and Semini, Laura}, ee = {https://doi.org/10.1007/978-3-030-30985-5_27}, interhash = {602dc40679e0b7e098484d265bd9c179}, intrahash = {8db04ade3d1972a107c76de1cd790dcb}, isbn = {978-3-030-30985-5}, keywords = {dblp}, pages = {467-480}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T19:22:13.000+0200}, title = {Enabling Auditing of Smart Contracts Through Process Mining.}, url = {http://dblp.uni-trier.de/db/conf/birthday/gnesi2019.html#CorradiniM0P0S19}, volume = 11865, year = 2019 }