"Widening operators for powerset domains."

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella (2007)

Details and statistics

DOI: 10.1007/S10009-007-0029-Y

access: open

type: Journal Article

metadata version: 2020-10-26

a service of  Schloss Dagstuhl - Leibniz Center for Informatics