Search results for: Luc Claesen
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Posters > 326-330
Lecture Notes in Computer Science > Higher Order Logic Theorem Proving and Its Applications > 89-100
2011 International Conference on Multimedia Technology > 3559 - 3562