Statistics
Publications
1
Citations
15
H-Index
1
Active since
2008
Affiliations
Radboud University Nijmegen(Current)
Alejandro Tamalet is an author at Radboud University Nijmegen specializing in engineering, formal methods, and formal verification.
Publications per year
2008–2008
1
1
Size Analysis of Algebraic Data Types
Alejandro Tamalet, Olha Shkaravska, M.C.J.D. van Eekelen · 2008 · 15 citations · Full text
1–1 of 1