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

Takashi Matsumoto, Miyuki Koshimura, Tetsuji Kuboyama, Ryuzo Hasegawa

研究成果: Contribution to journalArticle査読

フィンガープリント

「A method to eliminate redundant case-splittings in MGTP and its evaluation」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Engineering & Materials Science