Journal influence
Higher Attestation Commission (VAK) - К1 quartile
Russian Science Citation Index (RSCI)
Bookmark
Next issue
№4
Publication date:
09 December 2024
Keyword: algebraic semantics
- Process semantics of distributed programming language Authors: Кораблин Ю.П., Кучугуров И.В.
- Development tools of verification for device drivers based on semantic models Authors: Кораблин Ю.П., Павлов Е.Г.