{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T20:58:19Z","timestamp":1757451499503,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031053238"},{"type":"electronic","value":"9783031053245"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-05324-5_5","type":"book-chapter","created":{"date-parts":[[2022,10,12]],"date-time":"2022-10-12T13:07:19Z","timestamp":1665580039000},"page":"85-101","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Formal Methods for Quantum Software Engineering"],"prefix":"10.1007","author":[{"given":"Carmelo R.","family":"Cartiere","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,10,13]]},"reference":[{"doi-asserted-by":"publisher","unstructured":"Cartiere CR (2020) Formal quantum software engineering: introducing the formal methods of software engineering to quantum computing. https:\/\/doi.org\/10.13140\/RG.2.2.26157.10725\/2","key":"5_CR1","DOI":"10.13140\/RG.2.2.26157.10725\/2"},{"key":"5_CR2","volume-title":"Using Z. Specification, refinement, and proof","author":"J Woodcock","year":"1996","unstructured":"Woodcock J, Davies J (1996) Using Z. Specification, refinement, and proof. Prentice Hall"},{"unstructured":"Cartiere CR (2013) Quantum software engineering: bringing the classical software engineering into the quantum domain. Master\u2019s Thesis, University of Oxford, Department of Computer Science, Software Engineering Programme","key":"5_CR3"},{"key":"5_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511574924","volume-title":"The way of Z: practical programming with formal methods","author":"J Jacky","year":"1996","unstructured":"Jacky J (1996) The way of Z: practical programming with formal methods. Cambridge University Press"},{"unstructured":"Ruhela V (2012) Z formal specification language \u2013 an overview. Int J Eng Res Technol (IJERT) 01(06)","key":"5_CR5"},{"key":"5_CR6","volume-title":"The principles of quantum mechanics","author":"P Dirac","year":"1958","unstructured":"Dirac P (1958) The principles of quantum mechanics, 4th edn. Oxford University Press","edition":"4"},{"key":"5_CR7","volume-title":"Logics in artificial intelligence. JELIA 2004. Lecture Notes in Computer Science","author":"P Mateus","year":"2004","unstructured":"Mateus P, Sernadas A (2004) Reasoning about quantum systems. In: Alferes JJ, Leite J (eds) Logics in artificial intelligence. JELIA 2004. Lecture Notes in Computer Science, vol 3229. Springer, Berlin"},{"key":"5_CR8","volume-title":"Introduction to quantum computation and information","author":"A Barenco","year":"1998","unstructured":"Barenco A (1998) Quantum computation: an introduction. In: Lo H, Popescu S, Spiller T (eds) Introduction to quantum computation and information. World Scientific"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1007\/BF02650179","volume":"21","author":"R Feynman","year":"1982","unstructured":"Feynman R (1982) Simulating physics with computers. Int J Theor Phys 21:467\u2013488","journal-title":"Int J Theor Phys"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1098\/rspa.1985.0070","volume":"400","author":"D Deutsch","year":"1985","unstructured":"Deutsch D (1985) Quantum theory, the church-turing principle and the universal quantum computer. Proc R Soc Lond A 400:97\u2013117","journal-title":"Proc R Soc Lond A"},{"unstructured":"Green AS. The QIO package. Haskell community\u2019s central package archive of open source soft. https:\/\/hackage.haskell.org\/package\/QIO, v1.3","key":"5_CR11"},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"1895","DOI":"10.1103\/PhysRevLett.70.1895","volume":"70","author":"CH Bennett","year":"1993","unstructured":"Bennett CH, Brassard G, Cr\u00e9peau C, Jozsa R, Peres A, Wootters WK (1993) Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels. Phys Rev Lett 70:1895","journal-title":"Phys Rev Lett"},{"key":"5_CR13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511976667","volume-title":"Quantum computation and quantum information: 10th Anniversary Edition","author":"M Nielsen","year":"2010","unstructured":"Nielsen M, Chuang I (2010) Quantum computation and quantum information: 10th Anniversary Edition. Cambridge University Press, Cambridge. https:\/\/doi.org\/10.1017\/CBO9780511976667"},{"key":"5_CR14","volume-title":"Finding solutions to NP problems: philosophical difference between quantum and evolutionary search algorithms","author":"GW Greenwood","year":"2001","unstructured":"Greenwood GW (2001) Finding solutions to NP problems: philosophical difference between quantum and evolutionary search algorithms. Portland State University, Portland, OR"},{"unstructured":"Gross AM, Stallard J (2007) Implementing Grover\u2019s algorithm using linear transformations in Haskell. In: Proceedings of the Eighth Symposium on Trends in Functional Programming, vol 8. p XXV","key":"5_CR15"},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1098\/rspa.1992.0167","volume":"439","author":"D Deutsch","year":"1992","unstructured":"Deutsch D, Jozsa R (1992) Rapid solutions of problems by quantum computation. Proc R Soc Lond A 439:553","journal-title":"Proc R Soc Lond A"},{"issue":"5","key":"5_CR17","doi-asserted-by":"publisher","first-page":"1474","DOI":"10.1137\/S0097539796298637","volume":"26","author":"DR Simon","year":"1997","unstructured":"Simon DR (1997) On the power of quantum computation. SIAM J Comput 26(5):1474\u20131483","journal-title":"SIAM J Comput"},{"key":"5_CR18","volume-title":"An introduction to quantum computing","author":"P Kaye","year":"2007","unstructured":"Kaye P, Laflamme R, Mosca M (2007) An introduction to quantum computing. Oxford University Press"},{"key":"5_CR19","volume-title":"The Z notation: a reference manual","author":"JM Spivey","year":"1992","unstructured":"Spivey JM (1992) The Z notation: a reference manual. Prentice Hall International"},{"unstructured":"Saaltink M (1993) Z and EVES. Technical Report TR-91-5449-02","key":"5_CR20"},{"unstructured":"Roberts D, Nelms J, Starkey D, Thomas S (2012) Travelling by teleportation. Phys Spl Top J. University of Leicester","key":"5_CR21"}],"container-title":["Quantum Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-05324-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,12]],"date-time":"2022-10-12T13:27:37Z","timestamp":1665581257000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-05324-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031053238","9783031053245"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-05324-5_5","relation":{},"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"13 October 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}