> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Lecture Notes in Computer Science: Automated Synthesis of Software Contracts with KindSpec Beteiligte: Alpuente, María; Villanueva, Alicia Erschienen: Springer Nature Switzerland, 2023 Erschienen in: Lecture Notes in Computer Science (2023), Seite 51-71 Sprache: Englisch DOI: 10.1007/978-3-031-31476-6_3 ISBN: 9783031314759; 9783031314766 ISSN: 1611-3349; 0302-9743 Entstehung: Anmerkungen: