المؤلفون: Steffen, Bernhard, Margaria, Tiziana, Bainczyk, Alexander, Boßelmann, Steve, Busch, Daniel, Driessen, Marc, Frohme, Markus, Howar, Falk, Jörges, Sven, Krause, Marvin, Krumrey, Marco, Lamprecht, Anna-Lena, Lybecait, Michael, Murtovi, Alnis, Naujokat, Stefan, Neubauer, Johannes, Schieweck, Alexander, Schürmann, Jonas, Smyth, Steven, Steffen, Barbara, Storek, Fabian, Tegeler, Tim, Teumert, Sebastian, Wirkner, Dominic, Zweihoff, Philip

مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/2402.10684

المؤلفون: Teumert, Sebastian^Aff9, Tegeler, Tim^Aff9, Schürmann, Jonas^Aff9, Busch, Daniel^Aff9, Wirkner, Dominic^Aff9

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^{Aff5, Aff8}, Yung, Moti, Editorial Board Member^Aff6, Margaria, Tiziana, editor^Aff7

المصدر: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II. 13702:374-388

المؤلفون: Tegeler, Tim^Aff9, Boßelmann, Steve^Aff9, Schürmann, Jonas^Aff9, Smyth, Steven^Aff9, Teumert, Sebastian^Aff9, Steffen, Bernhard^Aff9

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^{Aff5, Aff8}, Yung, Moti, Editorial Board Member^Aff6, Margaria, Tiziana, editor^Aff7

المصدر: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II. 13702:174-192

المؤلفون: Tegeler, Tim^Aff10, Teumert, Sebastian^Aff10, Schürmann, Jonas^Aff10, Bainczyk, Alexander^Aff10, Busch, Daniel^Aff10, Steffen, Bernhard^Aff10

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^{Aff5, Aff9}, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Margaria, Tiziana, editor^Aff8

المصدر: Leveraging Applications of Formal Methods, Verification and Validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings. 13036:3-17