Statistics
Publications
2
Citations
23
H-Index
2
Active since
2009
Affiliations
Åbo Akademi University(Current)
Kim Solin is an author at Åbo Akademi University specializing in philosophy, mathematics, and refinement laws.
Publications per year
2009–2013
2
2
Enabledness and termination in refinement algebra
Kim Solin, Joakim Wright · Science of Computer Programming · 2009 · 10 citations
Computing, Computer Science, Algebra +10
1–2 of 2