Naoki Nishida

1. A Theory of Reversibility for Erlang
   2018/06/19 by Ivan Lanese, Naoki Nishida, Lanese, Ivan +5 · 2 voices · 1 citation
   #cs.PL #cs.LO
2. Verifying Procedural Programs via Constrained Rewriting Induction
   2014/08/30 by Carsten Fuhs, Cynthia Kop, Fuhs, Carsten +3 · 2 citations
   Computer Science · #D.2.4 #FOS: Computer and information sciences #Formal Methods in Verification #I.2.3 #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Security and Verification in Computing