Jon Haël Brenas, Rachid Echahed, Martin Strecker. Verifying Graph Transformations with Guarded Logics. In Jun Pang, Chenyi Zhang, Jifeng He, Jian Weng, editors, 2018 International Symposium on Theoretical Aspects of Software Engineering, TASE 2018, Guangzhou, China, August 29-31, 2018. pages 124-131, IEEE, 2018. [doi]
@inproceedings{BrenasES18-0,
title = {Verifying Graph Transformations with Guarded Logics},
author = {Jon Haël Brenas and Rachid Echahed and Martin Strecker},
year = {2018},
doi = {10.1109/TASE.2018.00024},
url = {https://doi.org/10.1109/TASE.2018.00024},
researchr = {https://researchr.org/publication/BrenasES18-0},
cites = {0},
citedby = {0},
pages = {124-131},
booktitle = {2018 International Symposium on Theoretical Aspects of Software Engineering, TASE 2018, Guangzhou, China, August 29-31, 2018},
editor = {Jun Pang and Chenyi Zhang and Jifeng He and Jian Weng},
publisher = {IEEE},
isbn = {978-1-5386-7305-8},
}