Hague, M., & Ong, C. (2008). Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումHague, M., and C. Ong. Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems. 2008.
MLA (9րդ խմբ.) ՄեջբերումHague, M., and C. Ong. Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems. 2008.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.