- (help) (Smaragdakis &
Balatsouras) harv error: no target: CITEREFSmaragdakis
Balatsouras (help) (Smaragdakis &
Balatsouras, p. 37) harv error: no target:...
- 36.4441. doi:10.1017/S095679680100394X. S2CID 16895848.
Smaragdakis &
Balatsouras 2015. Gilray, Thomas; Adams,
Michael D.; Might,
Matthew (2016-09-04)...
- do****entation". releases.llvm.org.
Retrieved 2022-04-22. (Smaragdakis &
Balatsouras 2015, p. 14) Steensgaard,
Bjarne (1996). "Points-to
analysis in almost...
- Edinburgh. 4: 109–121. doi:10.1017/S0370164600033848. Kloutsos, Georgios;
Balatsouras,
Dimitrios G.; Kaberos,
Antonis C.; Kandiloros, Dimitrios; Ferekidis...
- (7th ed.). F.A. Davis. pp. 918–49. ISBN 978-0-8036-9464-4.
Korres SG,
Balatsouras DG (October 2004). "Diagnostic, pathophysiologic, and
therapeutic aspects...
-
including Ethereum smart contract analysis. He is the co-author with
George Balatsouras of the book
Pointer Analysis (Foundations and
Trends in
Programming Languages)...