|
|
|
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  |
|
2017 |
| 2. |
D. de Carvalho, M. Mazzara, B. Mingela, L. Safina, A. Tchitchigin, N. Troshkov, “Jolie Static Type Checker: a prototype”, Model. Anal. Inform. Sist., 24:6 (2017), 704–717  |
1
|
| 3. |
A. Naumchev, M. Mazzara, B. Meyer, J.-M. Bruel, F. Galinier, S. Ebersold, “A contract-based method to specify stimulus-response requirements”, Proceedings of ISP RAS, 29:4 (2017), 39–54 |
|
2016 |
| 4. |
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
|
| 5. |
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: