Автор туралы ақпарат

Shishkin, E.

Шығарылым Бөлім Атауы Файл
Том 45, № 8 (2019) Article Debugging Smart Contract’s Business Logic Using Symbolic Model Checking