Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers

Martina Seidl; Steffen Zschaler

Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers

Martina Seidl (Editor)
, Steffen Zschaler (Editor)

Institute of Formal Models and Verification

Research output: Book › Anthology

Original language	English
Publisher	Springer
Volume	10748
ISBN (Print)	978-3-319-74729-3
Publication status	Published - 2018

Publication series

Name	Lecture Notes in Computer Science (LNCS)

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 3 Good Health and Well-being

Fields of science

102 Computer Sciences
102001 Artificial intelligence
102011 Formal languages
102022 Software development
102031 Theoretical computer science
603109 Logic
202006 Computer hardware

JKU Focus areas

Computation in Informatics and Mathematics

Cite this

@book{50beb6ebe4d2478d93e499e84ab67257,

title = "Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers",

editor = "Martina Seidl and Steffen Zschaler",

year = "2018",

language = "English",

isbn = "978-3-319-74729-3",

volume = "10748",

series = "Lecture Notes in Computer Science (LNCS)",

publisher = "Springer",

}

TY - BOOK

T1 - Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers

A2 - Seidl, Martina

A2 - Zschaler, Steffen

PY - 2018

Y1 - 2018

M3 - Anthology

SN - 978-3-319-74729-3

VL - 10748

T3 - Lecture Notes in Computer Science (LNCS)

BT - Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers

PB - Springer

ER -