add /gpg and update /contact
[~bandali/bndl.org] / data / publications.toml
1 [[pub]]
2 title = """\
3 A comparison of the declarative modelling languages B, Dash, \
4 and TLA<sup>+</sup> \
5 """
6 description = """\
7 Ali Abbassi, Amin Bandali, Nancy A. Day, and Jose \
8 Serna. In *International Workshop on Model-Driven \
9 Requirements Engineering (MoDRE) @ IEEE International \
10 Requirements Engineering Conference (RE)*. To appear, \
11 2018. \
12 """
13 links = """\
14 pdf, \
15 bib, \
16 [models](https://cs.uwaterloo.ca/~nday/models/2018-modre) \
17 """