ETAPS 2019 (series) / Naoki Nishida
Registered user since Fri 8 Mar 2019
Name:Naoki Nishida
Country:Japan
Affiliation:Nagoya University
Personal website: https://www.trs.css.i.nagoya-u.ac.jp/~nishida/
Research interests:term rewriting, program transformation, program verification
Contributions
ETAPS 2019-profile
View general profile
View general profile