Author Info
Name
Affiliation
Papers
MARAT KH. AKHIN
St. Petersburg State Polytechnic University,St. Petersburg,Russia
2
Collaborators
Citations 
PageRank 
3
2
0.76
Referers 
Referees 
References 
3
38
13
Title
Citations
PageRank
Year
Random model sampling: Making craig interpolation work when it should not.00.342015
Software defect detection by combining bounded model checking and approximations of functions.20.432014