Scholar
Luis S. Barbosa
Google Scholar ID: dETyb1AAAAAJ
Professor of Computer Science, Universidade do Minho
Formal methods
semantics
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,619
H-index
12
i10-index
18
Publications
20
Co-authors
0
