[3]
|
Ali Abbassi, Amin Bandali, Nancy A. Day, and José Serna.
A comparison of the declarative modelling languages B, Dash, and
TLA+.
In Ana Moreira, Gunter Mussbacher, João Araújo, and Pablo
Sánchez, editors, 8th IEEE International Model-Driven
Requirements Engineering Workshop, MoDRE@RE 2018, Banff, AB, Canada, August
20, 2018, pages 11–20. IEEE Computer Society, 2018.
[ bib |
http |
.pdf ]
|