|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2018 |
1. |
S. Reznikova, V. Rivera, J. Y. Lee, M. Mazzara, “Translation from Event-B into Eiffel”, Модел. и анализ информ. систем, 25:6 (2018), 623–636 |
|
2016 |
2. |
Mansur Khazeev, Victor Rivera, Manuel Mazzara, Alexander Tchitchigin, “Usability of AutoProof: a case study of software verification”, Труды ИСП РАН, 28:2 (2016), 111–126 |
1
|
3. |
Alexander Tchitchigin, Larisa Safina, Mohamed Elwakil, Manuel Mazzara, Fabrizio Montesi, Victor Rivera, “Refinement types in jolie”, Труды ИСП РАН, 28:2 (2016), 33–44 |
5
|
|