ARGUS/V: A SYSTEM FOR VERIFICATION OF PROLOG PROGRAMS.

Tadashi Kanamori, Hiroshi Fujita, Hirohisa Seki, Kenji Horiuchi, Machi Maeji

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

Fingerprint

Dive into the research topics of 'ARGUS/V: A SYSTEM FOR VERIFICATION OF PROLOG PROGRAMS.'. Together they form a unique fingerprint.

Computer Science