SHIRAI Yasuyuki   Faculty of Business Administration Department of Business Management   Professor

■ Title   Program synthesis by a model generation theorem prover

■ Outline      Masayuki Fujita, Ryuzo Hasegawa, Yasuyuki Shirai, Fumihiro Kumeno   Collaboration   ICOT technical report, TR-629, Institute for New Generation Computer Technology, May 1991      1991/05

Copyright(C) 2011 Daito Bunka University, All rights reserved.