APA aipamena

Shamakhi, A., Hojjat, H., & Rümmer, P. (2021). Towards String Support in JayHorn (Competition Contribution). Tools and Algorithms for the Construction and Analysis of Systems.

Chicago Style aipamena

Shamakhi, Ali, Hossein Hojjat, and Philipp Rümmer. "Towards String Support in JayHorn (Competition Contribution)." Tools and Algorithms for the Construction and Analysis of Systems 2021.

MLA aipamena

Shamakhi, Ali, Hossein Hojjat, and Philipp Rümmer. "Towards String Support in JayHorn (Competition Contribution)." Tools and Algorithms for the Construction and Analysis of Systems 2021.