Persons
RUS
ENG
JOURNALS
PEOPLE
ORGANISATIONS
CONFERENCES
SEMINARS
VIDEO LIBRARY
PACKAGE AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Cavalli, A
Statistics Math-Net.Ru
Total publications:
1
Scientific articles:
1
Number of views:
This page:
88
Abstract pages:
372
Full texts:
196
References:
45
https://www.mathnet.ru/eng/person72569
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
Contact us:
email
Terms of Use
Registration to the website
Logotypes
©
Steklov Mathematical Institute RAS
, 2024