Trustworthy Compilers 8 Quantitative Software Engi
Author:
VO Safonov