Joshua Schmidt, Michael Leuschel. SMT solving for the validation of B and Event-B models. STTT, 24(6):1043-1077, 2022. [doi]
@article{SchmidtL22,
title = {SMT solving for the validation of B and Event-B models},
author = {Joshua Schmidt and Michael Leuschel},
year = {2022},
doi = {10.1007/s10009-022-00682-y},
url = {https://doi.org/10.1007/s10009-022-00682-y},
researchr = {https://researchr.org/publication/SchmidtL22},
cites = {0},
citedby = {0},
journal = {STTT},
volume = {24},
number = {6},
pages = {1043-1077},
}