University of Namur — Belgium
Computer Science · Physical Sciences
2h-index22citations3works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(3), Formal Methods in Verification(2), Software Engineering Research(1), Software Testing and Debugging Techniques(1), Logic, Reasoning, and Knowledge(1)
Publications3 total
Workshops in computing·1994· 5 cited
Frontiers of Medicine·1991· 2 cited
Lecture notes in computer science·1990· 15 cited