Search

Saman A. Barakat

Saman A. Barakat

Home
Publications
Projects
News
Contact

Light Dark Automatic

IDLReasoner

A Java tool for the automated analysis of IDL specifications using constraint programming.

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite