Author Info
Name
Affiliation
Papers
JOSE DIVASÓN
University of La Rioja, Logroño, Spain
2
Collaborators
Citations 
PageRank 
4
0
0.68
Referers 
Referees 
References 
0
0
0
Title
Citations
PageRank
Year
Using Krakatoa for Teaching Formal Verification of Java Programs.00.342019
A Kenzo interface for algebraic topology computations in SageMath00.342019