Zastosowanie SAT solverów w testowaniu bezpieczeństwa technologii blockchain
Loading...
Defence Date
2019-07-11
Authors
Supervisors:
Reviewers:
Access rights
Access: otwarty dostęp
Access details: Brak zgody na udostępnienie pracy w czytelni Biblioteki Wydziałowej
Other title
Application of SAT solvers to testing safety of the blockchain technology
Resource type
Defence details
Degree Grantor: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
Course: Informatyka (WEAIiIB)
Form of study: stacjonarne
Degree level: studia drugiego stopnia
Degree name: magister inżynier
Description
Keywords
Abstract
Access rights
Access: otwarty dostęp
Access details: Brak zgody na udostępnienie pracy w czytelni Biblioteki Wydziałowej