Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Mammar, A

Statistics Math-Net.Ru
Total publications: 1
Scientific articles: 1

Number of views:
This page:75
Abstract pages:372
Full texts:196
References:45
E-mail:

https://www.mathnet.ru/eng/person72568
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru Citations
2011
1. N. G. Kushik, A. Mammar, A. Cavalli, N. V. Evtushenko, W. Jimenez, E. Montes de Oca, “A SPIN-based approach for detecting vulnerabilities in Ñ programs”, Model. Anal. Inform. Sist., 18:4 (2011),  131–143  mathnet
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024