Author:
Beckert Bernhard,Schiffl Jonas,Ulbrich Mattias
Publisher
Springer International Publishing
Reference9 articles.
1. Ahrendt, W., Beckert, B., Bubel, R., Hähnle, R., Schmitt, P.H., Ulbrich, M.: Deductive Software Verification - The KeY Book. Springer, Cham (2016).
https://doi.org/10.1007/978-3-319-49812-6
2. Lecture Notes in Computer Science;W Ahrendt,2019
3. Ahrendt, W., Pace, G.J., Schneider, G.: Smart contracts: a killer application for deductive source code verification. In: Principled Software Development (2018)
4. Androulaki, E., Vukolić, M., et al.: Hyperledger fabric: a distributed operating system for permissioned blockchains. In: EuroSys 2018. ACM (2018)
5. Beckert, B., Herda, M., Kirsten, M., Schiffl, J.: Formal specification and verification of hyperledger fabric chaincode. In: SDLT (2018)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献