Path selection for symbolic execution systems
著者
書誌事項
Path selection for symbolic execution systems
(Computer science, Systems programming ; no. 12)
UMI Research Press, c1982
大学図書館所蔵 件 / 全6件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Revision of thesis (Ph.D.)--University of Massachusetts, 1980
Bibliography: p. [101]-103
Includes index