Custom cover image
Custom cover image

Software Engineering and Formal Methods : 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings / edited by Einar Broch Johnsen, Ina Schaefer

Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Lecture notes in computer science ; 10886Publisher: Cham : Springer International Publishing, 2018Description: Online-Ressource (XIV, 303 p. 98 illus, online resource)ISBN:
  • 9783319929705
Subject(s): Additional physical formats: 9783319929699 | Erscheint auch als: 978-3-319-92969-9 Druck-Ausgabe | Printed edition: 9783319929699 DDC classification:
  • 005.1
MSC: MSC: *68-06 | 68Nxx | 00B25LOC classification:
  • QA76.758
DOI: DOI: 10.1007/978-3-319-92970-5Online resources: Summary: This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification; concurrency; program analysis; model checking and runtime verification; applications; and shape analysis and reuseSummary: Specification -- Concurrency -- Program analysis -- Model checking and runtime verification -- Applications -- Shape analysis and reusePPN: PPN: 1026857872Package identifier: Produktsigel: ZDB-2-LNC | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-SEB
No physical items for this record

Reproduktion. (Springer eBook Collection. Computer Science)

KIT – The Research University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT