A method to eliminate redundant case-splittings in MGTP and its evaluation

Takashi Matsumoto, Miyuki Koshimura, Tetsuji Kuboyama, Ryuzo Hasegawa

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'A method to eliminate redundant case-splittings in MGTP and its evaluation'. Together they form a unique fingerprint.

Engineering & Materials Science