AHRENDT, Wolfgang, BUBEL, Richard, ELLUL, Joshua, PACE, Gordon J., PARDO, Raul, REBISCOUL, Vincent, SCHNEIDER, Gerardo und 8 th International Conference FSEN 2019, 2019. Verification of smart contract business logic : exploiting a Java source code verifier. In: . Springer International Publishing. 1 Januar 2019.
Elsevier - Harvard (with titles)Ahrendt, W., Bubel, R., Ellul, J., Pace, G.J., Pardo, R., Rebiscoul, V., Schneider, G., 8 th International Conference F.2., 2019. Verification of smart contract business logic : exploiting a Java source code verifier, in: . Springer International Publishing.
American Psychological Association 7th editionAhrendt, W., Bubel, R., Ellul, J., Pace, G. J., Pardo, R., Rebiscoul, V., Schneider, G., & 8 th International Conference F. 2. (2019, Januar 1). Verification of smart contract business logic : exploiting a Java source code verifier.
Springer - Basic (author-date)Ahrendt W, Bubel R, Ellul J, Pace GJ, Pardo R, Rebiscoul V, Schneider G, 8 th International Conference F2 (2019) Verification of smart contract business logic : exploiting a Java source code verifier. Springer International Publishing
Juristische Zitierweise (Stüber) (Deutsch)Ahrendt, Wolfgang/ Bubel, Richard/ Ellul, Joshua/ Pace, Gordon J./ Pardo, Raul/ Rebiscoul, Vincent/ Schneider, Gerardo/ 8 th International Conference FSEN 2019, Verification of smart contract business logic : exploiting a Java source code verifier, 2019, .