Citace podle APA

Malík, V., Schrammel, P., & Vojnar, T. (2020). 2LS: Heap Analysis and Memory Safety: (Competition Contribution). Tools and Algorithms for the Construction and Analysis of Systems.

Styl Chicago

Malík, Viktor, Peter Schrammel, a Tomáš Vojnar. "2LS: Heap Analysis and Memory Safety: (Competition Contribution)." Tools and Algorithms for the Construction and Analysis of Systems 2020.

Citace podle MLA

Malík, Viktor, Peter Schrammel, a Tomáš Vojnar. "2LS: Heap Analysis and Memory Safety: (Competition Contribution)." Tools and Algorithms for the Construction and Analysis of Systems 2020.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..