RUS  ENG
Full version
PEOPLE

Mammar A

Publications in Math-Net.Ru

  1. A SPIN-based approach for detecting vulnerabilities in Ñ programs

    Model. Anal. Inform. Sist., 18:4 (2011),  131–143

© Steklov Math. Inst. of RAS, 2024