Mizuhito OGAWA


Transformation of Strictness-Related Analyses Based on Abstract Interpretation
Mizuhito OGAWA Satoshi ONO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1991/02/25
Vol. E74-D  No. 2  pp. 406-416
Type of Manuscript:  PAPER
Category: Bio-Cybernetics
Keyword: 
 Summary | Full Text:PDF(850.8KB)