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/GutachtenKonferenz-/TagungsbandBeigetragenBegutachtung

Beitragende

Details

OriginalspracheEnglisch
VerlagSpringer, Cham
ISBN (elektronisch)978-3-319-89366-2
ISBN (Print)978-3-319-89365-5
PublikationsstatusVeröffentlicht - 2018
Peer-Review-StatusJa

Publikationsreihe

ReiheLecture Notes in Computer Science, Volume 10803
ISSN0302-9743

Konferenz

TitelFoundations of Software Science and Computation Structures - 21st International Conference
UntertitelHeld as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018
KurztitelFOSSACS 2018
Veranstaltungsnummer
Dauer14 - 20 April 2018
Webseite
BekanntheitsgradInternationale Veranstaltung
Ort
StadtThessaloniki
LandGriechenland

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

Bibliotheksschlagworte