Programvarutestning & verifiering

Filter
  • Numerical Software Verification

    häftad, 2017, Engelska, ISBN 9783319635002

    This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 - colocated with