Author Info
Name
Affiliation
Papers
L. THOMAS VAN BINSBERGEN
CWI, Netherlands
2
Collaborators
Citations 
PageRank 
8
0
0.68
Referers 
Referees 
References 
0
0
0
Title
Citations
PageRank
Year
A principled approach to REPL interpreters00.342020
eFLINT: a domain-specific language for executable norm specifications00.342020