Works citing this work

2 works

Work: Deductive tools of an algebraic programming system

1. Universal Linear Data Structure

   Rustam Kabulov Vosilovich

   ArticleFormal Methods in Verification2020 International Conference on Information Science and Communications Technologies (ICISCT)20200 citations

   ABIABI:AkademIndex/openalex/2020.article.002010

2. Formalization of Data Derivative Structures

   Rustam Vosilovich kabulov, Ortik Ruzibaev, Kuchkorov Temur Ataxanovich +1

   ArticleAdvanced Software Engineering Methodologies2020 International Conference on Information Science and Communications Technologies (ICISCT)20200 citations

   ABIABI:AkademIndex/openalex/2020.article.004480