Publications

Export 1 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: First Letter Of Title is J  [Clear All Filters]
A B C D E F G H I [J] K L M N O P Q R S T U V W X Y Z   [Show ALL]
J
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 icon kampmann-tap-2014.pdf (297.61 KB)