Yoshio Yamane

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Program Slicing

Formal Specification

Temporal Properties

Top Venues

Publications

Masahiro Matsubara, Kohei Sakurai, Fumio Narisawa, Masushi Enshoiwa, Yoshio Yamane, Hisamitsu Yamanaka
Model Checking with Program Slicing Based on Variable Dependence Graphs FTSCS (2012)