ISSN 0236-235X (P)
ISSN 2311-2735 (E)

Journal influence

Higher Attestation Commission (VAK) - К1 quartile
Russian Science Citation Index (RSCI)

Bookmark

Next issue

3
Publication date:
13 September 2024

Keyword: formal methods

  1. Program for automated verification of databases integrity constraints
  2. Authors: Хомоненко А.Д., Глухарев М.Л., Косаренко А.П.