Consistency Checking by Type Inference and Constraint Satisfaction.

Yahia Lebbah

Browse the full SAFECOMP paper archive.