APA (7th ed.) Citation

Nagashima, Y., & He, Y. (2018, September). PaMpeR: Proof Method Recommendation System for Isabelle/HOL. 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 362-372. https://doi.org/10.1145/3238147.3238210

Chicago Style (17th ed.) Citation

Nagashima, Yutaka, and Yilun He. "PaMpeR: Proof Method Recommendation System for Isabelle/HOL." 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE) Sep. 2018: 362-372. https://doi.org/10.1145/3238147.3238210.

MLA (9th ed.) Citation

Nagashima, Yutaka, and Yilun He. "PaMpeR: Proof Method Recommendation System for Isabelle/HOL." 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), Sep. 2018, pp. 362-372, https://doi.org/10.1145/3238147.3238210.