Modelowanie i automatyczna weryfikacja systemu kryptowalutowego
[Modeling and automatic verification of the cryptocurrency system]
Rozdział w recenzowanej książce naukowejMiejsce: Lublin-Warszawa
Rok wydania: 2020
Tytuł publikacji: Modelowanie i automatyczna weryfikacja systemu kryptowalutowego
Strony od-do: 75-89