大会名称 |
---|
2004年 情報科学技術フォーラム(FIT) |
大会コ-ド |
F |
開催年 |
2004 |
発行日 |
2004/8/20 |
セッション番号 |
3R |
セッション名 |
形式手法 |
講演日 |
2004/09/07 |
講演場所(会議室等) |
R会場(知真館1F TC1-124) |
講演番号 |
B-035 |
タイトル |
Provably Correct Translation from OTS/CafeOBJ Specifications to Java Programs |
著者名 |
Senachak Jittisak, 清野 貴博, 緒方 和博, 二木 厚吉, |
キーワード |
抄録 |
本文pdf |
PDF download (117KB) |