Send email Copy Email Address
2014-01-01

JTACO: Test Execution for Faster Bounded Verification

Tags
Secure Connected and Mobile Systems
Conference / Medium

Proc. of the 8th International Conference on Tests and Proofs (TAP 2014)

Date published

2014-01-01

Date last modified

2019-07-18 12:12:13

Authors
Download