Media type: E-Article Title: Lecture Notes in Computer Science: Automated Synthesis of Software Contracts with KindSpec Contributor: Alpuente, María; Villanueva, Alicia Published: Springer Nature Switzerland, 2023 Published in: Lecture Notes in Computer Science (2023), Seite 51-71 Language: English DOI: 10.1007/978-3-031-31476-6_3 ISBN: 9783031314759; 9783031314766 ISSN: 1611-3349; 0302-9743 Origination: Footnote: