Software Engineering and Formal Methods

16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

Nonfiction, Computers, Programming, Software Development, Programming Languages, General Computing
Cover of the book Software Engineering and Formal Methods by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319929705
Publisher: Springer International Publishing Publication: June 18, 2018
Imprint: Springer Language: English
Author:
ISBN: 9783319929705
Publisher: Springer International Publishing
Publication: June 18, 2018
Imprint: Springer
Language: English

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 reuse.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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 reuse.

More books from Springer International Publishing

Cover of the book Cardiovascular Genetics and Genomics by
Cover of the book Space Security and Legal Aspects of Active Debris Removal by
Cover of the book Advances in Personalized Nanotherapeutics by
Cover of the book From Aardvarks to Zooxanthellae by
Cover of the book Surgery of Complex Abdominal Wall Defects by
Cover of the book Ethnotheatre and Creative Methods for Teacher Leadership by
Cover of the book Respectable Deviance and Purchasing Medicine Online by
Cover of the book Arthur's Invariant Trace Formula and Comparison of Inner Forms by
Cover of the book A Guide to Gastrointestinal Motility Disorders by
Cover of the book English Language Education Policy in Asia by
Cover of the book Pride and Authenticity by
Cover of the book Recent Trends in Nanotechnology and Materials Science by
Cover of the book The Scrum Culture by
Cover of the book Interrogating the Neoliberal Lifecycle by
Cover of the book Institutional Racism in Psychiatry and Clinical Psychology by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy