Automatic Generation of Program Families by Model Restrictions.

Andrzej Wasowski

Browse the full SPLC paper archive.