Прилог рјешењу ефикасне верификације функционалних захтјева помоћу програмских језика - Popić, Srđan (PQDT - Global, 2023)