发文地区与机构
近年国家 / 地区发文量统计
| 国家 / 地区 | 发文量 |
|---|---|
| USA | 22 |
| France | 16 |
| GERMANY (FED REP GER) | 9 |
| England | 7 |
| Austria | 6 |
| Switzerland | 6 |
| Israel | 4 |
| Italy | 4 |
| Sweden | 4 |
| Canada | 3 |
近年机构发文量统计
| 机构 | 发文量 |
|---|---|
| CENTRE NATIONAL DE LA RECHERCHE SCIENTI... | 11 |
| COMMUNAUTE UNIVERSITE GRENOBLE ALPES | 6 |
| UNIVERSITY OF CALIFORNIA SYSTEM | 6 |
| INRIA | 5 |
| AUSTRIAN INSTITUTE OF TECHNOLOGY (AIT) | 3 |
| ETH ZURICH | 3 |
| IMDEA SOFTWARE INST | 3 |
| MICROSOFT | 3 |
| NEW YORK UNIVERSITY | 3 |
| SORBONNE UNIVERSITE | 3 |
文章引用情况
1
Automating regression verification of pointer programs by predicate abstraction2
Alloy*: a general-purpose higher-order relational constraint solver3
Abstract semantic diffing of evolving concurrent programs