Безверха, М.А.; Процик, П.П.
(2010)
Ця робота продовжує цикл попередніх досліджень, головною метою яких було створення ефективних мов, підходів та програмних
засобів розробки якісних програмних систем з використанням формальних методів. На основі побудованих ...