PINCKNEY, Donald, CASSANO, Federico, GUHA, Arjun, BELL, Jonathan, CULPO, Massimiliano und GAMBLIN, Todd, 2023. Flexible and Optimal Dependency Management via Max-SMT. In: . 1 Mai 2023.
Elsevier - Harvard (with titles)Pinckney, D., Cassano, F., Guha, A., Bell, J., Culpo, M., Gamblin, T., 2023. Flexible and Optimal Dependency Management via Max-SMT., in: . https://doi.org/10.1109/ICSE48619.2023.00124
American Psychological Association 7th editionPinckney, D., Cassano, F., Guha, A., Bell, J., Culpo, M., & Gamblin, T. (2023, Mai 1). Flexible and Optimal Dependency Management via Max-SMT. https://doi.org/10.1109/ICSE48619.2023.00124
Springer - Basic (author-date)Pinckney D, Cassano F, Guha A, Bell J, Culpo M, Gamblin T (2023) Flexible and Optimal Dependency Management via Max-SMT.
Juristische Zitierweise (Stüber) (Deutsch)Pinckney, Donald/ Cassano, Federico/ Guha, Arjun/ Bell, Jonathan/ Culpo, Massimiliano/ Gamblin, Todd, Flexible and Optimal Dependency Management via Max-SMT., 2023, .