Functional synthesis for linear arithmetic and sets - Kuncak, Viktor et al - swissbib.ch:(NATIONALLICENCE)springer-10.1007/s10009-011-0217-7
 
Main file(s):