Abstract Program Model and Functional Mapping (Mathematical Methods in Software Science and Engineering : Third Conference)
スポンサーリンク
概要
著者
-
Kadota H.
Product Assurance Laboratory Ibm Japan Ltd.
-
OHBA M.
Product Assurance Laboratory, IBM Japan, Ltd.
-
TANITSU Y.
Product Assurance Laboratory, IBM Japan, Ltd.
-
TAKIMOTO N.
Product Assurance Laboratory, IBM Japan, Ltd.
-
Tanitsu Y.
Product Assurance Laboratory Ibm Japan Ltd.
-
Ohba M.
Product Assurance Laboratory Ibm Japan Ltd.
-
Takimoto N.
Product Assurance Laboratory Ibm Japan Ltd.