*Result*: Verifying Graph Transformations with Guarded Logics
Title:
Verifying Graph Transformations with Guarded Logics
Authors:
Source:
2018 International Symposium on Theoretical Aspects of Software Engineering (TASE) TASE Theoretical Aspects of Software Engineering (TASE), 2018 International Symposium on. :124-131 Aug, 2018
Relation:
2018 International Symposium on Theoretical Aspects of Software Engineering (TASE)
Database:
IEEE Xplore Digital Library