@杂项{zbMATH03839314，作者={Woods，John Lowe}，标题={符号执行系统的路径选择。（{Rev}1980论文）}，年份={1982年}，语言={英语}，如何发布={计算机{科学}:{系统}{编程}，{否}。12.{Ann}{Arbor}，{Michigan}:{UMI}{Research}{Press}；{Epping}，{Essex}:{Bowker}{Publishing}{Company}（{Suppliers}）。{九} ，108页\$44.00（1982）。}，关键词={68W30,68-02,68N99}，zbMATH={3839314}，Zbl={0528.68025}}