Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings: 10375 (Lecture Notes in Computer Science)

by EinarBrochJohnsen (Series Editor), SebastianGabmeyer (Editor)

• New

  Paperback
  2017

  $53.61

  This book constitutes the refereed proceedings of the 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 9 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 16 submissions.