Publications in Math-Net.Ru
-
Translation from Event-B into Eiffel
Model. Anal. Inform. Sist., 25:6 (2018), 623–636
-
Jolie Static Type Checker: a prototype
Model. Anal. Inform. Sist., 24:6 (2017), 704–717
-
A contract-based method to specify stimulus-response requirements
Proceedings of ISP RAS, 29:4 (2017), 39–54
-
Usability of AutoProof: a case study of software verification
Proceedings of ISP RAS, 28:2 (2016), 111–126
-
Refinement types in jolie
Proceedings of ISP RAS, 28:2 (2016), 33–44
© , 2024