This page shows all presentations of this author published in EasyChair Smart Slide.
Property Generator: simple generation of Formal Assertion IP
Tobias Ludwig and Osama Ayoub