Modelowanie i automatyczna weryfikacja systemu kryptowalutowego
[Modeling and automatic verification of the cryptocurrency system]

Rozdział w recenzowanej książce naukowej

Miejsce: Lublin-Warszawa
Rok wydania: 2020
Tytuł publikacji: Modelowanie i automatyczna weryfikacja systemu kryptowalutowego
Strony od-do: 75-89