APA citiranje

Rocha, H., Menezes, R., Cordeiro, L. C., & Barreto, R. (2020). Map2Check: Using Symbolic Execution and Fuzzing: (Competition Contribution). Tools and Algorithms for the Construction and Analysis of Systems.

Citação norma Chicago

Rocha, Herbert, Rafael Menezes, Lucas C. Cordeiro, and Raimundo Barreto. "Map2Check: Using Symbolic Execution and Fuzzing: (Competition Contribution)." Tools and Algorithms for the Construction and Analysis of Systems 2020.

MLA citiranje

Rocha, Herbert, Rafael Menezes, Lucas C. Cordeiro, and Raimundo Barreto. "Map2Check: Using Symbolic Execution and Fuzzing: (Competition Contribution)." Tools and Algorithms for the Construction and Analysis of Systems 2020.