Search results for: Fides Aarts
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Learning Techniques for Software Verification and Validation > 673-686
Formal Methods in System Design > 2015 > 46 > 1 > 1-41
Machine Learning > 2014 > 96 > 1-2 > 189-224