APA (7th ed.) Citation

Narkawicz, A. J., & Muñoz, C. A. (2014). A formally-verified decision procedure for univariate polynomial computation based on Sturm's Theorem. National Aeronautics and Space Administration, Langley Research Center.

Chicago Style (17th ed.) Citation

Narkawicz, Anthony Joseph, and César A. Muñoz. A Formally-verified Decision Procedure for Univariate Polynomial Computation Based on Sturm's Theorem. Hampton, Virginia: National Aeronautics and Space Administration, Langley Research Center, 2014.

MLA (9th ed.) Citation

Narkawicz, Anthony Joseph, and César A. Muñoz. A Formally-verified Decision Procedure for Univariate Polynomial Computation Based on Sturm's Theorem. National Aeronautics and Space Administration, Langley Research Center, 2014.