Abdelkader Benzakour

Publication Activity (10 Years)

Years Active: 1998-1998
Publications (10 Years): 0

Publications

Mourad Debbabi, Abdelkader Benzakour, Béchir Ktari
A Synergy Between Model-Checking and Type Inference for the Verification of Value-Passing Higher-Order Processes. AMAST (1998)