Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
E-Artikel
Titel:
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Automated Synthesis of Software Contracts with KindSpec
Beteiligte:
Alpuente, María;
Villanueva, Alicia
Erschienen:
Springer Nature Switzerland, 2023
Erschienen in:
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023), Seite 51-71