|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2017 |
| 1. |
D. de Carvalho, M. Mazzara, B. Mingela, L. Safina, A. Tchitchigin, N. Troshkov, “Jolie Static Type Checker: a prototype”, Модел. и анализ информ. систем, 24:6 (2017), 704–717   |
1
|
|
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
|
|
Обратная связь: