Automatic modular abstractions for linear constraints, in: Principles of programming languages

by David Monniaux
Venue:ACM
Citations:15 - 5 self