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