A Novel Approach to Verify Graph Schema-Based Software Systems

Vahid Rafe, Adel Torkaman Rahmani. A Novel Approach to Verify Graph Schema-Based Software Systems. International Journal of Software Engineering and Knowledge Engineering, 19(6):857-870, 2009. [doi]

Abstract

Abstract is missing.