Radoslaw Klimek. Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models. Journal of Logic and Algebraic Programming, 104:201-226, 2019. [doi]
@article{Klimek19,
title = {Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models},
author = {Radoslaw Klimek},
year = {2019},
doi = {10.1016/j.jlamp.2019.02.005},
url = {https://doi.org/10.1016/j.jlamp.2019.02.005},
researchr = {https://researchr.org/publication/Klimek19},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Algebraic Programming},
volume = {104},
pages = {201-226},
}