Scholar
Samuel Gruetter
Google Scholar ID: LfZh5jIAAAAJ
ETH Zurich
Programming languages
Formal methods
Software verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,480
H-index
8
i10-index
7
Publications
20
Co-authors
0
Contact
No contact links provided.
Publications
1 items
Sockeye: a language for analyzing hardware documentation
2025
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)
