Development of logical methods and software tools for the verification of office procedures

Moscow

117 pp.

Development of logical methods and software tools for the verification of office procedures — Matyunina, Ol'ga Yevgen'yevna — 1995 — Russian Dissertation Library