human: Given a node-centered hypergraph: <hypergraph>, where nodes represent papers and hyperedges represent sets of papers co-cited by a source paper.

Details of the hypergraph:
Center node: "informal control code logic"
  Abstract: General definitions as well as rules of reasoning regarding control code production, distribution, deployment, and usage are described. The role of testing, trust, confidence and risk analysis is considered. A rationale for control code testing is sought and found for the case of safety critical embedded control code.

Connected through hyperedge HE-1 (induced by source paper "informatics perspectives on decision taking a case study on resolving process product ambiguity"):
  with members:
    - "instruction sequence processing operators"
    - "informaticology combining computer science data science and fiction science"
    - "putting instruction sequences into effect"
    - "stratified outsourcing theory"
    - "real islamic logic"
    - "proposition algebra"
    - "formaleuros formalcoins and virtual monies"
    - "searching publications on software testing"

Connected through hyperedge HE-2 (induced by source paper "steering fragments of instruction sequences"):
  with members:
    - "instruction sequence processing operators"
    - "formaleuros formalcoins and virtual monies"
    - "searching publications on operating systems"
    - "on the contribution of backward jumps to instruction sequence expressiveness"
    - "searching publications on software testing"
    - "machine structure oriented control code logic"
    - "thread extraction for polyadic instruction sequences"

Connected through hyperedge HE-3 (induced by source paper "business mereology imaginative definitions of insourcing and outsourcing transformations"):
  with members:
    - "formaleuros formalcoins and virtual monies"
    - "searching publications on operating systems"
    - "searching publications on software testing"
    - "a progression ring for interfaces of instruction sequences threads and services"
    - "machine structure oriented control code logic"
    - "interface groups and financial transfer architectures"

Question: Please tell me which class the center node belongs to. The 40 classes are: cs.NA(Numerical Analysis), cs.MM(Multimedia), cs.LO(Logic in Computer Science), cs.CY(Computers and Society), cs.CR(Cryptography and Security), cs.DC(Distributed, Parallel, and Cluster Computing), cs.HC(Human-Computer Interaction), cs.CE(Computational Engineering, Finance, and Science), cs.NI(Networking and Internet Architecture), cs.CC(Computational Complexity), cs.AI(Artificial Intelligence), cs.MA(Multiagent Systems), cs.GL(General Literature), cs.NE(Neural and Evolutionary Computing), cs.SC(Symbolic Computation), cs.AR(Hardware Architecture), cs.CV(Computer Vision and Pattern Recognition), cs.GR(Graphics), cs.ET(Emerging Technologies), cs.SY(Systems and Control), cs.CG(Computational Geometry), cs.OH(Other Computer Science), cs.PL(Programming Languages), cs.SE(Software Engineering), cs.LG(Machine Learning), cs.SD(Sound), cs.SI(Social and Information Networks), cs.RO(Robotics), cs.IT(Information Theory), cs.PF(Performance), cs.CL(Computation and Language), cs.IR(Information Retrieval), cs.MS(Mathematical Software), cs.FL(Formal Languages and Automata Theory), cs.DS(Data Structures and Algorithms), cs.OS(Operating Systems), cs.GT(Computer Science and Game Theory), cs.DB(Databases), cs.DL(Digital Libraries), cs.DM(Discrete Mathematics). Directly output the class name.

gpt: cs.SE(Software Engineering)