APA (7th ed.) Citation

Vojtek, V., Molnár, Ľ., & Návrat, P. Automatic program synthesis using heuristics and interaction.

Chicago Style (17th ed.) Citation

Vojtek, Vladimír, Ľudovít Molnár, and Pavol Návrat. Automatic Program Synthesis Using Heuristics and Interaction.

MLA (9th ed.) Citation

Vojtek, Vladimír, et al. Automatic Program Synthesis Using Heuristics and Interaction.

Warning: These citations may not always be 100% accurate.