Rivera Victor

Publications in Math-Net.Ru

1. Translation from Event-B into Eiffel
   
   Model. Anal. Inform. Sist., 25:6 (2018),  623–636
2. Usability of AutoProof: a case study of software verification
   
   Proceedings of ISP RAS, 28:2 (2016),  111–126
3. Refinement types in jolie
   
   Proceedings of ISP RAS, 28:2 (2016),  33–44