A Comparison of the Declarative Modelling Languages B, Dash, and TLA

Ali Abbassi, Amin Bandali, Nancy A. Day, Jos Serna

Browse the full RE paper archive.