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

Ahmad Salim Al-Sibahi

University of Copenhagen

4H-index
21Paper Count
118Citation Count
Published Papers 1
Publication Date
logo
Verification of Program Transformations with Inductive Refinement Types
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2021-01-20
err0
errOAAI
errAl-Sibahi, Ahmad Salim; Jensen, Thomas P.; Dimovski, Aleksandar S.; Wasowski, Andrzej
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
A
Andrzej Wąsowski
H-index: 43 · Papers: 255
A
Aleksandar S. Dimovski
H-index: 16 · Papers: 86
J
Jensen, Thomas P.
H-index: 0 · Papers: 1
All loaded