Journals
Books
Articles by keyword случайное тестирование на основе свойств
Support for polymorphism and object-oriented aspects in the abstract program specification system

P.A. Shapkin¹, K.A. Legkodukh², E.D. Gajduk³

¹⁻³National Research Nuclear University MEPhI (Moscow, Russia)

¹pavel@shapkin.link