APA Style
El-Hokayem, Antoine ; Falcone, Yliès, Hierons, Robert M. ; Li, Miqing ; Liu, Xiaohui ; Parejo, Jose Antonio ; Segura, Sergio ; Yao, Xin, Chen, Lin ; Wu, Di ; Ma, Wanwangying ; Zhou, Yuming ; Xu, Baowen ; Leung, Hareton, Yan, Gaogao ; Jiao, Li ; Wang, Shuling ; Wang, Lingtai ; Zhan, Naijun, Yuan, Yuan ; Banzhaf, Wolfgang, Haas, Roman ; Niedermayr, Rainer ; Roehm, Tobias ; Apel, Sven, Kafali, Özgür ; Ajmeri, Nirav ; Singh, Munindar P.. (2020).
Bundel Jurnal ACM Transactions on Software Engineering and Methodology : On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation / Many-Objective Test Suite Generation for Software Product Lines / How C++ Templates Are Used for Generic Programming: An Empirical Study on 50 Open Source Systems / Automatically Generating SystemC Code from HCSP Formal Models / Toward Better Evolutionary Program Repair: An Integrated Approach / Is Static Analysis Able to Identify Unnecessary Source Code? / DESEN: Specification of Sociotechnical Systems via Patterns of Regulation and Control (1).
New York:
Association for Computing Machinery.
Chicago Style
El-Hokayem, Antoine ; Falcone, Yliès, Hierons, Robert M. ; Li, Miqing ; Liu, Xiaohui ; Parejo, Jose Antonio ; Segura, Sergio ; Yao, Xin, Chen, Lin ; Wu, Di ; Ma, Wanwangying ; Zhou, Yuming ; Xu, Baowen ; Leung, Hareton, Yan, Gaogao ; Jiao, Li ; Wang, Shuling ; Wang, Lingtai ; Zhan, Naijun, Yuan, Yuan ; Banzhaf, Wolfgang, Haas, Roman ; Niedermayr, Rainer ; Roehm, Tobias ; Apel, Sven, Kafali, Özgür ; Ajmeri, Nirav ; Singh, Munindar P..
Bundel Jurnal ACM Transactions on Software Engineering and Methodology : On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation / Many-Objective Test Suite Generation for Software Product Lines / How C++ Templates Are Used for Generic Programming: An Empirical Study on 50 Open Source Systems / Automatically Generating SystemC Code from HCSP Formal Models / Toward Better Evolutionary Program Repair: An Integrated Approach / Is Static Analysis Able to Identify Unnecessary Source Code? / DESEN: Specification of Sociotechnical Systems via Patterns of Regulation and Control.
1
New York:
Association for Computing Machinery,
2020.
Bundel Jurnal.
MLA Style
El-Hokayem, Antoine ; Falcone, Yliès, Hierons, Robert M. ; Li, Miqing ; Liu, Xiaohui ; Parejo, Jose Antonio ; Segura, Sergio ; Yao, Xin, Chen, Lin ; Wu, Di ; Ma, Wanwangying ; Zhou, Yuming ; Xu, Baowen ; Leung, Hareton, Yan, Gaogao ; Jiao, Li ; Wang, Shuling ; Wang, Lingtai ; Zhan, Naijun, Yuan, Yuan ; Banzhaf, Wolfgang, Haas, Roman ; Niedermayr, Rainer ; Roehm, Tobias ; Apel, Sven, Kafali, Özgür ; Ajmeri, Nirav ; Singh, Munindar P..
Bundel Jurnal ACM Transactions on Software Engineering and Methodology : On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation / Many-Objective Test Suite Generation for Software Product Lines / How C++ Templates Are Used for Generic Programming: An Empirical Study on 50 Open Source Systems / Automatically Generating SystemC Code from HCSP Formal Models / Toward Better Evolutionary Program Repair: An Integrated Approach / Is Static Analysis Able to Identify Unnecessary Source Code? / DESEN: Specification of Sociotechnical Systems via Patterns of Regulation and Control.
1
New York:
Association for Computing Machinery,
2020.
Bundel Jurnal.
Turabian Style
El-Hokayem, Antoine ; Falcone, Yliès, Hierons, Robert M. ; Li, Miqing ; Liu, Xiaohui ; Parejo, Jose Antonio ; Segura, Sergio ; Yao, Xin, Chen, Lin ; Wu, Di ; Ma, Wanwangying ; Zhou, Yuming ; Xu, Baowen ; Leung, Hareton, Yan, Gaogao ; Jiao, Li ; Wang, Shuling ; Wang, Lingtai ; Zhan, Naijun, Yuan, Yuan ; Banzhaf, Wolfgang, Haas, Roman ; Niedermayr, Rainer ; Roehm, Tobias ; Apel, Sven, Kafali, Özgür ; Ajmeri, Nirav ; Singh, Munindar P..
Bundel Jurnal ACM Transactions on Software Engineering and Methodology : On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation / Many-Objective Test Suite Generation for Software Product Lines / How C++ Templates Are Used for Generic Programming: An Empirical Study on 50 Open Source Systems / Automatically Generating SystemC Code from HCSP Formal Models / Toward Better Evolutionary Program Repair: An Integrated Approach / Is Static Analysis Able to Identify Unnecessary Source Code? / DESEN: Specification of Sociotechnical Systems via Patterns of Regulation and Control.
1
New York:
Association for Computing Machinery,
2020.
Bundel Jurnal.