Skip to content

Static Analyses of Congruence Properties on Rational Numbers (Extended Abstract).

Philippe Granger

VenueBSAS
Year1997
ProceedingsSAS

Browse the full SAS paper archive.