|
|
|
Publications in Math-Net.Ru |
Citations |
|
2014 |
| 1. |
Marat Akhin, Sam Kolton, Vladimir Itsykson, “Random model sampling: making Craig interpolation work when it should not”, Model. Anal. Inform. Sist., 21:6 (2014), 7–17  |
|
2013 |
| 2. |
Marat Akhin, Mikhail Belyaev, Vladimir Itsykson, “Defect Detection: Combining Bounded Model Checking and Code Contracts”, Model. Anal. Inform. Sist., 20:6 (2013), 22–35 |
|
2012 |
| 3. |
Marat Akhin, Vladimir Itsykson, “Tree Slicing in Clone Detection: Syntactic Analysis Made (Semi)-Semantic”, Model. Anal. Inform. Sist., 19:6 (2012), 69–78 |
|
| Organisations |
|
|
Contact us: