Steve McKeever

Steve McKeever

Associate Professor, Uppsala University
Verified email at im.uu.se
Cited by 930
rigorous software engineering computational life sciences programming languages partial evaluation modelling