会议信息
FTfJP 2012: International Workshop on Formal Techniques for Java-like Programs
请登录查看会议网址
截稿日期: |
|
通知日期: |
2012-04-29 |
会议日期: |
2012-06-12 |
会议地点: |
Beijing, China |
届数: |
14 |
CORE: c QUALIS: b4 浏览: 15719 关注: 0 参加: 0
征稿
录取率
| 时间 | 提交数 | 录取数 | 录取率(%) |
|---|---|---|---|
| 2004 | 20 | 11 | 55% |
相关会议
相关期刊
| CCF | 全称 | 影响因子 | 出版商 | ISSN |
|---|---|---|---|---|
| IEEE Industrial Electronics Magazine | 5.7 | IEEE | 1932-4529 | |
| Information Technology & People | 5.6 | Emerald | 0959-3845 | |
| Information Technology and Management | 2.9 | Springer | 1385-951X | |
| b | ACM Transactions on Reconfigurable Technology and Systems | 2.8 | ACM | 1936-7406 |
| Archive for Rational Mechanics and Analysis | 2.4 | Springer | 0003-9527 | |
| b | Formal Aspects of Computing | 1.400 | ACM | 0934-5043 |
| c | International Journal on Software Tools for Technology Transfer | 1.100 | Springer | 1433-2779 |
| International Journal of Parallel Programming | 0.900 | Springer | 0885-7458 | |
| Journal of Logical and Algebraic Methods in Programming | 0.700 | Elsevier | 2352-2208 | |
| IET Computers and Digital Techniques | 0.484 | IET | 1751-8601 |