Title

Software engineering and formal methods. 16th International Conference, SEFM 2018. Proceedings

Title Supplement

Held as part of STAF 2018, Toulouse, France, June 27-29, 2018

Person Involved

Publisher

Publishing Place

Cham

Publication Date

2018

Series

Lecture Notes in Computer Science; 10886

ISBN

978-3-319-92969-9

978-3-319-92970-5

3-319-92969-0

Conference