Skip to content

Closed and Logical Relations for Over- and Under-Approximation of Powersets.

David A. Schmidt

VenueBSAS
Year2004
ProceedingsSAS

Browse the full SAS paper archive.