Machi Maeji

Publication Activity (10 Years)

Years Active: 1986-1986
Publications (10 Years): 0

Publications

Tadashi Kanamori, Hiroshi Fujita, Hirohisa Seki, Kenji Horiuchi, Machi Maeji
ARGOS/V: A System for Verification of Prolog Programs. FJCC (1986)