|
|
|
Publications in Math-Net.Ru |
Citations |
|
2018 |
| 1. |
S. Reznikova, V. Rivera, J. Y. Lee, M. Mazzara, “Translation from Event-B into Eiffel”, Model. Anal. Inform. Sist., 25:6 (2018), 623–636  |
|
2016 |
| 2. |
Mansur Khazeev, Victor Rivera, Manuel Mazzara, Alexander Tchitchigin, “Usability of AutoProof: a case study of software verification”, Proceedings of ISP RAS, 28:2 (2016), 111–126  |
1
|
| 3. |
Alexander Tchitchigin, Larisa Safina, Mohamed Elwakil, Manuel Mazzara, Fabrizio Montesi, Victor Rivera, “Refinement types in jolie”, Proceedings of ISP RAS, 28:2 (2016), 33–44 |
5
|
|
| Organisations |
|
|
Contact us: