C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Porting the HOL light analysis library: some lessons (invited talk).
Lawrence C. Paulson
Published in:
CPP (2017)
Keyphrases
</>
invited talk
real world
data analysis
lessons learned