Melham, Tom

1. CREST: Hardware Formal Verification with ANSI-C Reference Specifications
   2019/08/04 by Andreas Tiemeyer, Tom Melham, Tiemeyer, Andreas +5 · 1 citation
   Computer Science · #Formal Methods in Verification #Security and Verification in Computing #Software Testing and Debugging Techniques
2. Evaluating Robustness to Context-Sensitive Feature Perturbations of Different Granularities
   2020/01/29 by Dunn, Isaac, Hanu, Laura, Pouget, Hadrien +2 · 1 citation
   #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Machine Learning (cs.LG)