المؤلفون: Dahlqvist, Fredrik, Silva, Alexandra, Smith, William

المصدر: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2023 38th Annual ACM/IEEE Symposium on. :1-13 Jun, 2023

Relation: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

المؤلفون: Mohammadi, Hessamaldin, Ghardallou, Wided, Linger, Richard C, Mili, Ali

المصدر: 2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2022 IEEE/ACM 10th International Conference on. :102-112 May, 2022

Relation: 2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE)

المؤلفون: Liu, Zhaoyu^Aff9, Ma, Murong^Aff9, Jiang, Kan^Aff9, Hou, Zhe^Aff10, Shi, Ling^Aff11, Dong, Jin Song^Aff9

المساهمون: Goos, Gerhard, Series 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, Yung, Moti, Editorial Board Member^Aff6, Foster, Simon, editor^Aff7, Sampaio, Augusto, editor^Aff8

المصدر: The Application of Formal Methods : Essays Dedicated to Jim Woodcock on the Occasion of His Retirement. 14900:71-102

المؤلفون: Butterfield, Andrew^Aff9

المساهمون: Goos, Gerhard, Series 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, Yung, Moti, Editorial Board Member^Aff6, Foster, Simon, editor^Aff7, Sampaio, Augusto, editor^Aff8

المصدر: The Application of Formal Methods : Essays Dedicated to Jim Woodcock on the Occasion of His Retirement. 14900:203-232

المؤلفون: Chen, Ningning^Aff9, Zhu, Huibiao^Aff10, He, Jifeng^Aff11

المساهمون: Goos, Gerhard, Series 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, Yung, Moti, Editorial Board Member^Aff6, Foster, Simon, editor^Aff7, Sampaio, Augusto, editor^Aff8

المصدر: The Application of Formal Methods : Essays Dedicated to Jim Woodcock on the Occasion of His Retirement. 14900:1-21

المؤلفون: Loukanova, Roussanka^Aff10

المساهمون: Goos, Gerhard, Series 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, Yung, Moti, Editorial Board Member^Aff6, Bekki, Daisuke, editor^Aff7, Mineshima, Koji, editor^Aff8, McCready, Elin, editor^Aff9

المصدر: Logic and Engineering of Natural Language Semantics : 20th International Conference, LENLS20, Osaka, Japan, November 18–20, 2023, Revised Selected Papers. 14569:260-284

المؤلفون: Dvir, Yotam^Aff8, Kammar, Ohad^Aff9, Lahav, Ori^Aff8

المساهمون: 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, Yung, Moti, Editorial Board Member^Aff6, Weirich, Stephanie, editor^Aff7

المصدر: Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II. 14577:121-149

المؤلفون: Lil, Ran, Zhu, Huibiao, Banach, Richard

المصدر: 2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS) ICECCS Engineering of Complex Computer Systems (ICECCS), 2022 26th International Conference on. :123-132 Mar, 2022

Relation: 2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS)

المؤلفون: Muller, Jean-Pierre

المصدر: 2021 Annual Modeling and Simulation Conference (ANNSIM) Modeling and Simulation Conference (ANNSIM), 2021 Annual. :1-12 Jul, 2021

Relation: 2021 Annual Modeling and Simulation Conference (ANNSIM)

المؤلفون: Marmsoler, Diego

المصدر: 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE) Theoretical Aspects of Software Engineering (TASE), 2019 International Symposium on. :136-143 Jul, 2019

Relation: 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE)