The quotient of an abstract interpretation (1998)

by A Cortesi, G Filé, W Winsborough
Venue:Theor. Comput. Sci