Computer Science · Physical Sciences
1h-index15citations1works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(1), Formal Methods in Verification(1), Embedded Systems Design Techniques(1)
Publications1 total
Lecture notes in computer science·2000· 15 citedOpen Access
Frequent Co-authors
Saddek Bensalem(1), Marius Bozga(1), Lucian Ghirvu(1), Yassine Lakhnech(1)