Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
Publikation: Buch/Konferenzbericht/Sammelband/Gutachten › Konferenz-/Tagungsband › Beigetragen › Begutachtung
Beitragende
Details
Originalsprache | Englisch |
---|---|
Verlag | Springer, Cham |
ISBN (elektronisch) | 978-3-319-89366-2 |
ISBN (Print) | 978-3-319-89365-5 |
Publikationsstatus | Veröffentlicht - 2018 |
Peer-Review-Status | Ja |
Publikationsreihe
Reihe | Lecture Notes in Computer Science, Volume 10803 |
---|---|
ISSN | 0302-9743 |
Konferenz
Titel | Foundations of Software Science and Computation Structures - 21st International Conference |
---|---|
Untertitel | Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 |
Kurztitel | FOSSACS 2018 |
Veranstaltungsnummer | |
Dauer | 14 - 20 April 2018 |
Webseite | |
Bekanntheitsgrad | Internationale Veranstaltung |
Ort | |
Stadt | Thessaloniki |
Land | Griechenland |
Externe IDs
ORCID | /0000-0002-5321-9343/work/142658424 |
---|
Schlagworte
Schlagwörter
- artificial intelligence, computer software selection and evaluation, formal logic, modal logic, petri nets, program compilers, programming language, semantics, separation logic, software engineering, theorem proving, type systems, verification