You are here

Home ›

Publications

Filters: Author is Andreas Zeller  [Clear All Filters]
2014
A. Kampmann, J. P. Galeotti, and A. Zeller, “JTACO: Test Execution for Faster Bounded Verification”, in TAP 2014: Proceedings of the 8th International Conference on Tests and Proofs, 2014.PDF iconkampmann-tap-2014.pdf (297.61 KB)

   

                              

Powered by Drupal