Canyam
AI summaries for academic research
Home
Preprint
Subscribe
Favorites
Tools
Analysis
Summary
Not logged in
Back
G
Gomez, Guillermo
Affiliation pending
0
H-index
1
Paper Count
0
Citation Count
0
Related Insights
Subscribe
Published Papers
1
Publication Date
Publication Date
Impact Factor
Citations
FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025
IF
0
2026-01-01
0
PRE
AI
Bonafini, Federico; Cavada, Roberto; Cimatti, Alessandro; Gomez, Guillermo; Tonetta, Tefano
Share
Save
Research Directions
No research directions
Co-authors
Cooperation Journals
C
Cavada, Roberto
H-index: 0 · Papers: 1
T
Tonetta, Tefano
H-index: 0 · Papers: 1
C
Cimatti, Alessandro
H-index: 0 · Papers: 1
B
Bonafini, Federico
H-index: 0 · Papers: 1
All loaded
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
Share.png){kind=icon}
SaveShareSaveShareSave
Not logged in.png){kind=icon}
ShareSaveNot logged inShareSave