Hague, M., & Ong, C. (2007). Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems.
Style de citation Chicago (17e éd.)Hague, M., et C. Ong. Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems. 2007.
Style de citation MLA (9e éd.)Hague, M., et C. Ong. Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems. 2007.
Attention : ces citations peuvent ne pas être correctes à 100%.