Journals
Books
Articles by keyword random property-based testing
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