A
Menu

Journals

ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP) Sign in to save

OpenAlex

Search and filter its papers →

2
Aachen papers
1
Citations
1
Aachen authors
0
Patent citations
–
h-index (all)

Aachen papers per year

25

Papers 2

2 results

Most active Aachen authors