Author Info
Name
Affiliation
Papers
MARAT AKHIN
St Petersburg State Polytech Univ, St Petersburg, Russia
3
Collaborators
Citations 
PageRank 
4
0
1.01
Referers 
Referees 
References 
0
74
25
Title
Citations
PageRank
Year
ReduKtor - How We Stopped Worrying About Bugs in Kotlin Compiler.00.342019
By the power of SMT! mining function contracts to better bounded model checking.00.342016
Tree slicing: Finding intertwined and gapped clones in one simple step.00.342013