{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T20:57:55Z","timestamp":1760043475957,"version":"3.37.3"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2024,2,20]],"date-time":"2024-02-20T00:00:00Z","timestamp":1708387200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,2,20]],"date-time":"2024-02-20T00:00:00Z","timestamp":1708387200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2024,4]]},"DOI":"10.1007\/s10009-024-00738-1","type":"journal-article","created":{"date-parts":[[2024,2,20]],"date-time":"2024-02-20T16:02:06Z","timestamp":1708444926000},"page":"131-145","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Deductive verification of smart contracts with Dafny"],"prefix":"10.1007","volume":"26","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4317-5025","authenticated-orcid":false,"given":"Franck","family":"Cassez","sequence":"first","affiliation":[]},{"given":"Joanne","family":"Fuller","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0009-7018-9711","authenticated-orcid":false,"given":"Horacio Mijail","family":"Ant\u00f3n\u00a0Quiles","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,2,20]]},"reference":[{"key":"738_CR1","unstructured":"Wood, G.: Ethereum: a secure decentralised generalised transaction ledger. Berlin version d77a387 - 2022-04-26 (2022). https:\/\/Ethereum.github.io\/yellowpaper\/paper.pdf"},{"key":"738_CR2","volume-title":"The DAO Hack Explained: Unfortunate Take-Off of Smart Contracts","author":"O.G. G\u00fc\u00e7l\u00fct\u00fcrk","year":"2018","unstructured":"G\u00fc\u00e7l\u00fct\u00fcrk, O.G.: The DAO Hack Explained: Unfortunate Take-Off of Smart Contracts (2018). https:\/\/ogucluturk.medium.com\/the-dao-hack-explained-unfortunate-take-off-of-smart-contracts-2bd8c8db3562"},{"key":"738_CR3","unstructured":"Choo, L.: Crypto is crumbling, and DeFi hacks are getting worse. https:\/\/www.protocol.com\/fintech\/defi-hacks-web3"},{"key":"738_CR4","unstructured":"Krishnakumar, A.: Defying expectations: After an uncertain year, DeFi has high hopes for 2023. https:\/\/cointelegraph.com\/news\/defying-expectations-after-an-uncertain-year-defi-has-high-hopes-for-2023"},{"key":"738_CR5","unstructured":"Vyper Team: Vyper Documentation (2020). https:\/\/vyper.readthedocs.io\/en\/stable\/"},{"key":"738_CR6","unstructured":"Fe Team: Fe: an emerging smart contract language for the Ethereum blockchain (2022). https:\/\/github.com\/Ethereum\/fe"},{"key":"738_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-030-03592-1_13","volume-title":"Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Revised Selected Papers","author":"J. Zakrzewski","year":"2018","unstructured":"Zakrzewski, J.: Towards verification of Ethereum smart contracts: a formalization of core of solidity. In: Piskac, R., R\u00fcmmer, P. (eds.) Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Revised Selected Papers, July 18-19, 2018. Lecture Notes in Computer Science, vol.\u00a011294, pp.\u00a0229\u2013247. Springer, Oxford (2018). https:\/\/doi.org\/10.1007\/978-3-030-03592-1_13"},{"key":"738_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/978-3-030-92124-8_23","volume-title":"Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Virtual Event, Proceedings","author":"D. Marmsoler","year":"2021","unstructured":"Marmsoler, D., Brucker, A.D.: A denotational semantics of Solidity in Isabelle\/HOL. In: Calinescu, R., Pasareanu, C.S. (eds.) Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Virtual Event, Proceedings, December 6-10, 2021. Lecture Notes in Computer Science, vol.\u00a013085, pp.\u00a0403\u2013422. Springer, Berlin (2021). https:\/\/doi.org\/10.1007\/978-3-030-92124-8_23"},{"key":"738_CR9","unstructured":"Diligence, C.:. Scribble. https:\/\/consensys.net\/diligence\/scribble\/"},{"key":"738_CR10","volume-title":"Solidity Documentation","author":"E. Foundation","year":"2022","unstructured":"Foundation, E.: Solidity Documentation (2022). https:\/\/docs.soliditylang.org\/en\/v0.8.14\/"},{"key":"738_CR11","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-031-15008-1_5","volume-title":"Formal Methods for Industrial Critical Systems","author":"F. Cassez","year":"2022","unstructured":"Cassez, F., Fuller, J., Quiles, H.M.A.: Deductive verification of smart contracts with Dafny. In: Groote, J.F., Huisman, M. (eds.) Formal Methods for Industrial Critical Systems, pp.\u00a050\u201366. Springer, Cham (2022)"},{"key":"738_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-030-53288-8_8","volume-title":"Computer Aided Verification - 32nd International Conference, CAV 2020, Proceedings, Part I","author":"D. Park","year":"2020","unstructured":"Park, D., Zhang, Y., Rosu, G.: End-to-end formal verification of Ethereum 2.0 deposit smart contract. In: Lahiri, S.K., Wang, C. (eds.) Computer Aided Verification - 32nd International Conference, CAV 2020, Proceedings, Part I, July 21-24, 2020. Lecture Notes in Computer Science, vol.\u00a012224, pp.\u00a0151\u2013164. Springer, Los Angeles (2020). https:\/\/doi.org\/10.1007\/978-3-030-53288-8_8"},{"key":"738_CR13","volume-title":"Formal Verification of the Incremental Merkle Tree Algorithm","author":"D. Park","year":"2020","unstructured":"Park, D., Zhang, Y.: Formal Verification of the Incremental Merkle Tree Algorithm (2020). https:\/\/github.com\/runtimeverification\/verified-smart-contracts\/blob\/master\/deposit\/formal-incremental-merkle-tree-algorithm.pdf"},{"key":"738_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/978-3-030-90870-6_24","volume-title":"Formal Methods - 24th International Symposium, FM 2021, Proceedings","author":"F. Cassez","year":"2021","unstructured":"Cassez, F.: Verification of the incremental Merkle tree algorithm with Dafny. In: Huisman, M., Pasareanu, C.S., Zhan, N. (eds.) Formal Methods - 24th International Symposium, FM 2021, Proceedings, November 20-26, 2021. Lecture Notes in Computer Science, vol.\u00a013047, pp.\u00a0445\u2013462. Springer, Berlin (2021). https:\/\/doi.org\/10.1007\/978-3-030-90870-6_24"},{"key":"738_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-030-41600-3_11","volume-title":"Verified Software. Theories, Tools, and Experiments - 11th International Conference, VSTTE 2019, Revised Selected Papers","author":"\u00c1. Hajdu","year":"2019","unstructured":"Hajdu, \u00c1., Jovanovic, D.: solc-verify: a modular verifier for solidity smart contracts. In: Chakraborty, S., Navas, J.A. (eds.) Verified Software. Theories, Tools, and Experiments - 11th International Conference, VSTTE 2019, Revised Selected Papers, July 13-14, 2019. Lecture Notes in Computer Science, vol.\u00a012031, pp.\u00a0161\u2013179. Springer, New York City (2019). https:\/\/doi.org\/10.1007\/978-3-030-41600-3_11"},{"key":"738_CR16","series-title":"OASIcs","doi-asserted-by":"publisher","first-page":"2","DOI":"10.4230\/OASIcs.FMBC.2020.2","volume-title":"2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020","author":"\u00c1. Hajdu","year":"2020","unstructured":"Hajdu, \u00c1., Jovanovic, D., Ciocarlie, G.F.: Formal specification and verification of Solidity contracts with events (short paper). In: Bernardo, B., Marmsoler, D. (eds.) 2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July 20-21, 2020. OASIcs, vol.\u00a084, pp.\u00a02\u2013129. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, Los Angeles (2020). https:\/\/doi.org\/10.4230\/OASIcs.FMBC.2020.2. (Virtual Conference)"},{"key":"738_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/978-3-030-03427-6_28","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Proceedings, Part IV","author":"L. Alt","year":"2018","unstructured":"Alt, L., Reitwie\u00dfner, C.: Smt-based verification of solidity smart contracts. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Proceedings, Part IV, November 5-9, 2018. Lecture Notes in Computer Science, vol.\u00a011247, pp.\u00a0376\u2013388. Springer, Limassol (2018). https:\/\/doi.org\/10.1007\/978-3-030-03427-6_28"},{"key":"738_CR18","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1145\/3167084","volume-title":"Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018","author":"S. Amani","year":"2018","unstructured":"Amani, S., B\u00e9gel, M., Bortin, M., Staples, M.: Towards verifying Ethereum smart contract bytecode in Isabelle\/HOL. In: Andronick, J., Felty, A.P. (eds.) Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, January 8-9, 2018, pp.\u00a066\u201377. ACM, Los Angeles (2018). https:\/\/doi.org\/10.1145\/3167084"},{"key":"738_CR19","unstructured":"Diligence, C.:. MythX. https:\/\/mythx.io\/"},{"key":"738_CR20","doi-asserted-by":"publisher","first-page":"1398","DOI":"10.1145\/3368089.3417064","volume-title":"Harvey: A Greybox Fuzzer for Smart Contracts","author":"V. W\u00fcstholz","year":"2020","unstructured":"W\u00fcstholz, V., Christakis, M.: Harvey: A Greybox Fuzzer for Smart Contracts pp.\u00a01398\u20131409. Association for Computing Machinery, New York (2020). https:\/\/doi.org\/10.1145\/3368089.3417064"},{"key":"738_CR21","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1109\/Blockchain50366.2020.00059","volume-title":"IEEE International Conference on Blockchain, Blockchain 2020","author":"L.P.A. Horta","year":"2020","unstructured":"Horta, L.P.A., Reis, J.S., Sousa, S.M., Pereira, M.: A tool for proving Michelson smart contracts in why3. In: IEEE International Conference on Blockchain, Blockchain 2020, November 2-6, 2020, pp.\u00a0409\u2013414. IEEE, Rhodes (2020). https:\/\/doi.org\/10.1109\/Blockchain50366.2020.00059"},{"key":"738_CR22","doi-asserted-by":"publisher","first-page":"133","DOI":"10.34727\/2021\/isbn.978-3-85448-046-4_22","volume-title":"Formal Methods in Computer Aided Design, FMCAD 2021","author":"S. Dharanikota","year":"2021","unstructured":"Dharanikota, S., Mukherjee, S., Bhardwaj, C., Rastogi, A., Lal, A.: Celestial: a smart contracts verification framework. In: Formal Methods in Computer Aided Design, FMCAD 2021, October 19-22, 2021, pp.\u00a0133\u2013142. IEEE, New Haven (2021). https:\/\/doi.org\/10.34727\/2021\/isbn.978-3-85448-046-4_22"},{"key":"738_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/978-3-030-54994-7_22","volume-title":"Formal Methods. FM 2019 International Workshops, Revised Selected Papers, Part I","author":"Z. Neha\u00ef","year":"2019","unstructured":"Neha\u00ef, Z., Bobot, F.: Deductive proof of industrial smart contracts using why3. In: Sekerinski, E., Moreira, N., Oliveira, J.N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P., Delmas, D. (eds.) Formal Methods. FM 2019 International Workshops, Revised Selected Papers, Part I, October 7-11, 2019. Lecture Notes in Computer Science, vol.\u00a012232, pp.\u00a0299\u2013311. Springer, Porto (2019). https:\/\/doi.org\/10.1007\/978-3-030-54994-7_22"},{"key":"738_CR24","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1145\/2993600.2993611","volume-title":"Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016","author":"K. Bhargavan","year":"2016","unstructured":"Bhargavan, K., Delignat-Lavaud, A., Fournet, C., Gollamudi, A., Gonthier, G., Kobeissi, N., Kulatova, N., Rastogi, A., Sibut-Pinote, T., Swamy, N., B\u00e9guelin, S.Z.: Formal verification of smart contracts: short paper. In: Murray, T.C., Stefan, D. (eds.) Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, October 24, 2016, vol.\u00a024, pp.\u00a091\u201396. ACM, Vienna (2016). https:\/\/doi.org\/10.1145\/2993600.2993611"},{"key":"738_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-030-64354-6_8","volume-title":"Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY","author":"J. Schiffl","year":"2020","unstructured":"Schiffl, J., Ahrendt, W., Beckert, B., Bubel, R.: Formal analysis of smart contracts: applying the key system. In: Ahrendt, W., Beckert, B., Bubel, R., H\u00e4hnle, R., Ulbrich, M. (eds.) Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY. Lecture Notes in Computer Science, vol.\u00a012345, pp.\u00a0204\u2013218. Springer, Berlin (2020). https:\/\/doi.org\/10.1007\/978-3-030-64354-6_8"},{"key":"738_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/978-3-030-61467-6_2","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings, Part III","author":"W. Ahrendt","year":"2020","unstructured":"Ahrendt, W., Bubel, R.: Functional verification of smart contracts via strong data integrity. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings, Part III, October 20-30, 2020. Lecture Notes in Computer Science, vol.\u00a012478, pp.\u00a09\u201324. Springer, Rhodes (2020). https:\/\/doi.org\/10.1007\/978-3-030-61467-6_2"},{"key":"738_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/978-3-030-61467-6_12","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings, Part III","author":"M. Marescotti","year":"2020","unstructured":"Marescotti, M., Otoni, R., Alt, L., Eugster, P., Hyv\u00e4rinen, A.E.J., Sharygina, N.: Accurate smart contract verification through direct modelling. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings, Part III, October 20-30, 2020. Lecture Notes in Computer Science, vol.\u00a012478, pp.\u00a0178\u2013194. Springer, Rhodes (2020). https:\/\/doi.org\/10.1007\/978-3-030-61467-6_12"},{"key":"738_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/978-3-030-94583-1_21","volume-title":"Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Proceedings","author":"S. Wesley","year":"2022","unstructured":"Wesley, S., Christakis, M., Navas, J.A., Trefler, R.J., W\u00fcstholz, V., Gurfinkel, A.: Verifying solidity smart contracts via communication abstraction in smartace. In: Finkbeiner, B., Wies, T. (eds.) Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Proceedings, January 16-18, 2022. Lecture Notes in Computer Science, vol.\u00a013182, pp.\u00a0425\u2013449. Springer, Philadelphia (2022). https:\/\/doi.org\/10.1007\/978-3-030-94583-1_21"},{"issue":"OOPSLA","key":"738_CR29","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3485523","volume":"5","author":"C. Br\u00e4m","year":"2021","unstructured":"Br\u00e4m, C., Eilers, M., M\u00fcller, P., Sierra, R., Summers, A.J.: Rich specifications for Ethereum smart contract verification. Proc. ACM Program. Lang. 5(OOPSLA), 1\u201330 (2021). https:\/\/doi.org\/10.1145\/3485523","journal-title":"Proc. ACM Program. Lang."},{"key":"738_CR30","doi-asserted-by":"publisher","unstructured":"Otoni, R., Marescotti, M., Alt, L., Eugster, P., Hyv\u00e4rinen, A., Sharygina, N.: a solicitous approach to smart contract verification. ACM Trans. Priv. Secur. 26(2) (2023). https:\/\/doi.org\/10.1145\/3564699","DOI":"10.1145\/3564699"},{"issue":"6","key":"738_CR31","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1109\/MS.2017.4121212","volume":"34","author":"K.R.M. Leino","year":"2017","unstructured":"Leino, K.R.M.: Accessible software verification with Dafny. IEEE Softw. 34(6), 94\u201397 (2017). https:\/\/doi.org\/10.1109\/MS.2017.4121212","journal-title":"IEEE Softw."},{"key":"738_CR32","series-title":"OASIcs","doi-asserted-by":"publisher","first-page":"3","DOI":"10.4230\/OASIcs.FMBC.2021.3","volume-title":"3rd International Workshop on Formal Methods for Blockchains, FMBC@CAV 2021","author":"D. Britten","year":"2021","unstructured":"Britten, D., Sj\u00f6berg, V., Reeves, S.: Using Coq to enforce the checks-effects-interactions pattern in DeepSEA smart contracts (short paper). In: Bernardo, B., Marmsoler, D. (eds.) 3rd International Workshop on Formal Methods for Blockchains, FMBC@CAV 2021, July 18-19, 2021. OASIcs, vol.\u00a095, pp.\u00a03\u2013138. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, Los Angeles (2021). https:\/\/doi.org\/10.4230\/OASIcs.FMBC.2021.3. (Virtual Conference)"},{"key":"738_CR33","unstructured":"Giordano, F.: Reentrancy After Istanbul. https:\/\/blog.openzeppelin.com\/reentrancy-after-istanbul"},{"key":"738_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-030-17601-3_1","volume-title":"Engineering Trustworthy Software Systems - 4th International School, SETSS 2018, Tutorial Lectures","author":"D.J. Pearce","year":"2018","unstructured":"Pearce, D.J., Utting, M., Groves, L.: An introduction to software verification with Whiley. In: Bowen, J.P., Liu, Z., Zhang, Z. (eds.) Engineering Trustworthy Software Systems - 4th International School, SETSS 2018, Tutorial Lectures, April 7-12, 2018. Lecture Notes in Computer Science, vol.\u00a011430, pp.\u00a01\u201337. Springer, Chongqing (2018). https:\/\/doi.org\/10.1007\/978-3-030-17601-3_1"},{"key":"738_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL - a Proof Assistant for Higher-Order Logic","author":"T. Nipkow","year":"2002","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle\/HOL - a Proof Assistant for Higher-Order Logic. Lecture Notes in Computer Science, vol.\u00a02283. Springer, Berlin (2002). https:\/\/doi.org\/10.1007\/3-540-45949-9"},{"key":"738_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/978-3-642-35746-6_3","volume-title":"Tools for Practical Software Verification, LASER, International Summer School 2011, Revised Tutorial Lectures","author":"C. Paulin-Mohring","year":"2011","unstructured":"Paulin-Mohring, C.: Introduction to the coq proof-assistant for practical software verification. In: Meyer, B., Nordio, M. (eds.) Tools for Practical Software Verification, LASER, International Summer School 2011, Revised Tutorial Lectures. Lecture Notes in Computer Science, vol.\u00a07682, pp.\u00a045\u201395. Springer, Elba Island (2011). https:\/\/doi.org\/10.1007\/978-3-642-35746-6_3"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-024-00738-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-024-00738-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-024-00738-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,21]],"date-time":"2024-03-21T15:05:48Z","timestamp":1711033548000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-024-00738-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,2,20]]},"references-count":36,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2024,4]]}},"alternative-id":["738"],"URL":"https:\/\/doi.org\/10.1007\/s10009-024-00738-1","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2024,2,20]]},"assertion":[{"value":"6 February 2024","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 February 2024","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}