Machi Maeji

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

Coauthor Index

1	Hiroshi Fujita	[1]
2	Kenji Horiuchi	[1]
3	Tadashi Kanamori	[1]
4	Hirohisa Seki	[1]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page