Login / Signup
Noriaki Yoshimasa
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Computer Software
Theorem Prover
Programming Education
Email
Top Venues
ICIS
</>
Publications
</>
Manami Osawa
,
Noriaki Yoshimasa
,
Yoshinobu Kawabe
On embedded programming education with a tiny Lisp.
ICIS
(2013)
Jun Sakoh
,
Noriaki Yoshimasa
,
Yoshinobu Kawabe
Automated proof for equivalence of telephone systems.
ICIS
(2013)