Collaborated with:
M.Elsman
Talks about:
contract
(1)
financi
(1)
certifi
(1)
compil
(1)
Person:
Danil Annenkov
DBLP: Annenkov:Danil
Contributed to:
2018
Wrote 1 papers:
PPDP-2018-AnnenkovE
#compilation
#contract
Certified Compilation of Financial Contracts (
DA
,
ME
), p. 13.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.