Preface

Jun Sun; Joost-Pieter Katoen; Nan Guan

Preface

Formal Methods and Tools

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

46 Downloads (Pure)

Original language	English
Title of host publication	Dependable Software Engineering. Theories, Tools, and Applications
Subtitle of host publication	5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
Place of Publication	Cham
Publisher	Springer
Pages	v-v
ISBN (Electronic)	978-3-030-35540-1
ISBN (Print)	978-3-030-35539-5
Publication status	Published - 2019
Event	5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019 - East China Normal University, Shanghai, China Duration: 28 Nov 2019 → 29 Nov 2019 Conference number: 5

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	11951
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019
Abbreviated title	SETTA
Country/Territory	China
City	Shanghai
Period	28/11/19 → 29/11/19

Access to Document

Sun2019prefaceFinal published version, 30.4 KB

https://link.springer.com/content/pdf/bfm%3A978-3-030-35540-1%2F1.pdf

Cite this

@inproceedings{5b8e60ea8b64485dac872744f356e511,

title = "Preface",

author = "Jun Sun and Joost-Pieter Katoen and Nan Guan",

year = "2019",

language = "English",

isbn = "978-3-030-35539-5",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "v--v",

booktitle = "Dependable Software Engineering. Theories, Tools, and Applications",

address = "Germany",

note = "5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, SETTA ; Conference date: 28-11-2019 Through 29-11-2019",

}

Sun, J, Katoen, J-P & Guan, N 2019, Preface. in Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings. Lecture Notes in Computer Science, vol. 11951, Springer, Cham, pp. v-v, 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, Shanghai, China, 28/11/19. <https://link.springer.com/content/pdf/bfm%3A978-3-030-35540-1%2F1.pdf>

Preface. / Sun, Jun; Katoen, Joost-Pieter; Guan, Nan.
Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings. Cham: Springer, 2019. p. v-v (Lecture Notes in Computer Science; Vol. 11951).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Preface

AU - Sun, Jun

AU - Katoen, Joost-Pieter

AU - Guan, Nan

N1 - Conference code: 5

PY - 2019

Y1 - 2019

UR - http://www.scopus.com/inward/record.url?scp=85076669586&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:85076669586

SN - 978-3-030-35539-5

T3 - Lecture Notes in Computer Science

SP - v-v

BT - Dependable Software Engineering. Theories, Tools, and Applications

PB - Springer

CY - Cham

T2 - 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019

Y2 - 28 November 2019 through 29 November 2019

ER -

Preface

Publication series

Conference

Access to Document

Other files and links

Cite this