logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
S

Steffan Christ Sølvsten

aarhus university

0H-index
6Paper Count
0Citation Count
Published Papers 1
Publication Date
logo
errVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
err2026-01-01
err0
PREAI
errSolvsten, Steffan Christ; van de Pol, Jaco
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
J
Jaco van de Pol
H-index: 30 · Papers: 323
All loaded