IDLReasoner

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

Saman Barakat
Saman Barakat
PhD Student