|
佐藤哲也 2019年 研究業績一覧 (2件 / 18件)
論文
国際会議発表 (査読有り)
-
Tetsuya Sato,
Alejandro Aguirre,
Gilles Barthe,
Marco Gaboardi,
Deepak Garg,
Justin Hsu.
Formal Verification of Higher-order Probabilistic Programs,
The 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019),
In Proceedings of the ACM on Programming Languages,
Volume 3,
Issue POPL,
Jan. 2019.
[ BibTeX 形式で保存 ]
[ 論文・著書をCSV形式で保存
]
[ 特許をCSV形式で保存
]
|