Beyer, D., Jankola, M., Lingsch-Rosenfeld, M., Xia, T., & Zheng, X. (2025). A Modular Program-Transformation Framework for Reducing Specifications to Reachability.
Style de citation Chicago (17e éd.)Beyer, Dirk, Marek Jankola, Marian Lingsch-Rosenfeld, Tian Xia, et Xiyue Zheng. A Modular Program-Transformation Framework for Reducing Specifications to Reachability. 2025.
Style de citation MLA (9e éd.)Beyer, Dirk, et al. A Modular Program-Transformation Framework for Reducing Specifications to Reachability. 2025.
Attention : ces citations peuvent ne pas être correctes à 100%.