Pinckney, D., Cassano, F., Guha, A., Bell, J., Culpo, M., & Gamblin, T. (2023). Flexible and Optimal Dependency Management via Max-SMT. ICSE: International Conference on Software Engineering, 1418. https://doi.org/10.1109/ICSE48619.2023.00124
Chicago Style (17th ed.) CitationPinckney, Donald, Federico Cassano, Arjun Guha, Jonathan Bell, Massimiliano Culpo, and Todd Gamblin. "Flexible and Optimal Dependency Management via Max-SMT." ICSE: International Conference on Software Engineering 2023: 1418. https://doi.org/10.1109/ICSE48619.2023.00124.
MLA (9th ed.) CitationPinckney, Donald, et al. "Flexible and Optimal Dependency Management via Max-SMT." ICSE: International Conference on Software Engineering, 2023, p. 1418, https://doi.org/10.1109/ICSE48619.2023.00124.