Citação norma APA

Mues, M., & Howar, F. (2020). JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution). Tools and Algorithms for the Construction and Analysis of Systems.

Citação norma Chicago

Mues, Malte, and Falk Howar. "JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution)." Tools and Algorithms for the Construction and Analysis of Systems 2020.

Citação norma MLA

Mues, Malte, and Falk Howar. "JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution)." Tools and Algorithms for the Construction and Analysis of Systems 2020.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.