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

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

Number of views:
This page:37
Abstract pages:260
Full texts:80
References:23

http://www.mathnet.ru/eng/person72569
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru
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  Logotypes © Steklov Mathematical Institute RAS, 2020