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

Roberto Bagnara

University of Parma

23H-index
108Paper Count
1.7KCitation Count
Published Papers 1
Publication Date
logo
A Practical Approach to Verification of Floating-Point C/C plus plus Programs with math.h/cmath Functions
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2020-12-31
err1
errOAAI
errBagnara, Roberto; Chiari, Michele; Gori, Roberta; Bagnara, Abramo
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
R
Roberta Gori
H-index: 16 · Papers: 102
M
Michele Chiari
H-index: 8 · Papers: 47
A
Abramo Bagnara
H-index: 1 · Papers: 10
All loaded