APA Style
Chen,T; Li,K; Bahsoon,R; Yao,X, Riesco,A; Ogata,K, Böhme,M., Zheng,Y; Cu,C; Taylor,R. N.. (2018).
Bundel Jurnal ACM Transactions on Software Engineering and Methodology: FEMOSAA: Feature-Guided and Knee-Driven Multi-Objective Optimization for Self-Adaptive Software/ Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores/ STADS: Software Testing as Species Discovery/ Maintaining Architecture-Implementation Conformance to Support Architecture Centrality: From Single System to Product Line Development (2).
New York:
Association for Computing Machinery.
Chicago Style
Chen,T; Li,K; Bahsoon,R; Yao,X, Riesco,A; Ogata,K, Böhme,M., Zheng,Y; Cu,C; Taylor,R. N..
Bundel Jurnal ACM Transactions on Software Engineering and Methodology: FEMOSAA: Feature-Guided and Knee-Driven Multi-Objective Optimization for Self-Adaptive Software/ Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores/ STADS: Software Testing as Species Discovery/ Maintaining Architecture-Implementation Conformance to Support Architecture Centrality: From Single System to Product Line Development.
2
New York:
Association for Computing Machinery,
2018.
Bundel Jurnal.
MLA Style
Chen,T; Li,K; Bahsoon,R; Yao,X, Riesco,A; Ogata,K, Böhme,M., Zheng,Y; Cu,C; Taylor,R. N..
Bundel Jurnal ACM Transactions on Software Engineering and Methodology: FEMOSAA: Feature-Guided and Knee-Driven Multi-Objective Optimization for Self-Adaptive Software/ Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores/ STADS: Software Testing as Species Discovery/ Maintaining Architecture-Implementation Conformance to Support Architecture Centrality: From Single System to Product Line Development.
2
New York:
Association for Computing Machinery,
2018.
Bundel Jurnal.
Turabian Style
Chen,T; Li,K; Bahsoon,R; Yao,X, Riesco,A; Ogata,K, Böhme,M., Zheng,Y; Cu,C; Taylor,R. N..
Bundel Jurnal ACM Transactions on Software Engineering and Methodology: FEMOSAA: Feature-Guided and Knee-Driven Multi-Objective Optimization for Self-Adaptive Software/ Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores/ STADS: Software Testing as Species Discovery/ Maintaining Architecture-Implementation Conformance to Support Architecture Centrality: From Single System to Product Line Development.
2
New York:
Association for Computing Machinery,
2018.
Bundel Jurnal.