Citação norma APA

Quiring, B., & Manolios, P. (2020). GACAL: Conjecture-Based Verification: (Competition Contribution). Tools and Algorithms for the Construction and Analysis of Systems.

Citação norma Chicago

Quiring, Benjamin, and Panagiotis Manolios. "GACAL: Conjecture-Based Verification: (Competition Contribution)." Tools and Algorithms for the Construction and Analysis of Systems 2020.

Citação norma MLA

Quiring, Benjamin, and Panagiotis Manolios. "GACAL: Conjecture-Based Verification: (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.