Cavalli 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