APA (7th ed.) Citation

Suzuki, N., & Jefferson, D. (1977). Verification decidability of Presburger array programs. Carnegie-Mellon Univ.

Chicago Style (17th ed.) Citation

Suzuki, Norihisa, and David Jefferson. Verification Decidability of Presburger Array Programs. Pittsburgh, Penn: Carnegie-Mellon Univ, 1977.

MLA (9th ed.) Citation

Suzuki, Norihisa, and David Jefferson. Verification Decidability of Presburger Array Programs. Carnegie-Mellon Univ, 1977.