EAN: 9783319415901

SOFTWARE ENGINEERING AND FORMAL METHODS KARTONI...

This book constitutes the proceedings of the 14th International Conference on Software
Engineering and Formal Methods  SEFM 2016  held as part of STAF 2016  in Vienna  Austria  in
July 2016. The 20 full and 5 short papers presented in this volume were carefully reviewed and
selected from 88 submissions. They were organized in topical sections named: concurrency and
non-interference  program analysis  model checking  verification  interaction and adaptation 
and development methods.

Aktuelle Preise zur EAN 9783319415901

Produktinformationen zur 9783319415901