Verifying digital systems with MATLAB (26th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2017)

(untitled) - Chaves, L; Bessa, I; Cordeiro, L; Kroening, D; Lima Filho, E