Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Link-Resolver
Autor(en)
Miller, Andrew
Artikel
Smart Contracts and Opportunities for Formal Methods
Titel
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV /
Verlag
Springer International Publishing :
Ort
Cham :
Erscheinungsjahr
2018.
Es wurden folgende elektronische Volltexte gefunden