Search Results

  • Tests and Proofs

    by Einar Broch Johnsen • Sebastian Gabmeyer

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

    Language: ENG
    Copyright: 2017
Start Over
Show More

Enter a 10 or 13 digit numerical ISBN code
Categories