Characterizing composability of abstract interpretations (1983)

by F Orejas
Venue:Proc. Intl. Conf. on Foundations of Computation Theory, Borgholm, Sweden, LNCS 158