APA citáció

Darvas Dániel, Vörös András, & Bartha Tamás. (2016). Improving saturation-based bounded model checking.

Chicago Style (17th ed.) Citation

Darvas Dániel, Vörös András, and Bartha Tamás. Improving Saturation-based Bounded Model Checking. 2016.

MLA idézés

Darvas Dániel, et al. Improving Saturation-based Bounded Model Checking. 2016.