EAN: 9783319929699

SOFTWARE ENGINEERING AND FORMAL METHODS KARTONI...

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.

Aktuelle Preise zur EAN 9783319929699

Produktinformationen zur 9783319929699