A special lecture by Martin S. Finkbeiner is held
© 2020-2024 Toyohashi University of Technology