Augmenting Model-Based Instantiation with Fast Enumeration.

Lydia Kondylidou, Andrew Reynolds, Jasmin Blanchette

Browse the full TACAS paper archive.