A comparison of the declarative modelling languages B, Dash, and
TLA<sup>+</sup>.
In Ana Moreira, Gunter Mussbacher, João Araújo, and Pablo
Sánchez, editors, <em>8th IEEE International Model-Driven
Requirements Engineering Workshop, MoDRE@RE 2018, Banff, AB, Canada, August
20, 2018</em>, pages 11–20. IEEE Computer Society, 2018.
A comparison of the declarative modelling languages B, Dash, and
TLA<sup>+</sup>.
In Ana Moreira, Gunter Mussbacher, João Araújo, and Pablo
Sánchez, editors, <em>8th IEEE International Model-Driven
Requirements Engineering Workshop, MoDRE@RE 2018, Banff, AB, Canada, August
20, 2018</em>, pages 11–20. IEEE Computer Society, 2018.