Result: SMT solving for the validation of B and Event-B models
Title:
SMT solving for the validation of B and Event-B models
Authors:
Schmidt, JoshuaAff1, IDs1000902200682y_cor1, Leuschel, Michael
Source:
International Journal on Software Tools for Technology Transfer. 24(6):1043-1077
Database:
Springer Nature Journals