SAVE

Keywords: d-Calculus, GTS Logic, Specification, Verification, Visualization

Affiliation: Division of Computer Science and Engineering, Chonbuk National University, Republic of Korea