Braibant, Thomas
- Coquet: a Coq library for verifying hardware
2011/08/22 by Thomas Braibant, Braibant, Thomas · 1 citation
Computer Science · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Software Engineering Research