Yusuke Kawamoto 0001
Towards Logical Specification of Statistical Machine Learning
SEFM, 2019.
@inproceedings{SEFM-2019-Kawamoto,
author = "Yusuke Kawamoto 0001",
booktitle = "{Proceedings of the 17th International Conference on Software Engineering and Formal Methods}",
doi = "10.1007/978-3-030-30446-1_16",
isbn = "['978-3-030-30445-4', '978-3-030-30446-1']",
pages = "293--311",
publisher = "{Springer}",
title = "{Towards Logical Specification of Statistical Machine Learning}",
year = 2019,
}
Tags: