bandali
Publications
Conference
- A Comparison of the Declarative Modelling Languages B, Dash, and TLA+ [ pdf | bib | doi | models ]
- Ali Abbassi, Amin Bandali, Nancy A. Day, and Jose Serna
- 2018 IEEE 8th International Model-Driven Requirements Engineering Workshop (MoDRE)
Talks
- The Magic of Specifications and Type Systems [ slides | poster ]
- Amin Bandali, Simon Hudon, Jonathan Ostroff