Маццара Мануэль

Публикации в базе данных Math-Net.Ru

1. Translation from Event-B into Eiffel
   
   Модел. и анализ информ. систем, 25:6 (2018),  623–636
2. Jolie Static Type Checker: a prototype
   
   Модел. и анализ информ. систем, 24:6 (2017),  704–717
3. A contract-based method to specify stimulus-response requirements
   
   Труды ИСП РАН, 29:4 (2017),  39–54
4. Usability of AutoProof: a case study of software verification
   
   Труды ИСП РАН, 28:2 (2016),  111–126
5. Refinement types in jolie
   
   Труды ИСП РАН, 28:2 (2016),  33–44