Using the Constraint Language Toupie for "Software Cost Reduction" Specification Analysis (Abstract).

Antoine Rauzy

Browse the full TACAS paper archive.