Functions as passive constraints in LIFE (1994)

by Hassan Aït-Kaci, Andreas Podelski
Venue:Available online 9 ]. Hassan Aït-Kaci, Andreas Podelski, and Seth