David Jefferson
Norihisa Suzuki and David Jefferson.
Verification decidability of Presburger array programs.
Journal of the ACM
, 27(1):191-205, January 1980.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database