Semantic search
Acronym | Title | CORE2017 | Avg. acc. rate |
---|---|---|---|
FASE | International Conference on Fundamental Approaches to Software Engineering | 27.2 | |
CGO | International Symposium on Code Generation and Optimization | A | 28.7 |
ETAPS | European Joint Conferences on Theory & Practice of Software | 30.0 | |
ISSRE | International Symposium on Software Reliability Engineering | A | 30.3 |
TACAS | International Conference on Tools and Algorithms for the Construction and Analysis of Systems | 31.2 | |
IFM | International Conference on Integrated Formal Methods | 31.8 | |
CAV | Computer Aided Verification | 32.0 |