BETTY WG3–Languages: State of the Art Report

TitleBETTY WG3–Languages: State of the Art Report
Publication TypeJournal Article
Year of Publication2014
AuthorsAncona, D., V. Bono, M. Bravetti, J. Campos, P-M. Deniélou, N. Gesbert, E. Giachino, R. Hu, E. Broch Johnsen, F. Martins, and
JournalReport of the EU COST Action IC1201–Behavioural Types for Reliable Large-Scale Software Systems. www. behavioural-types. eu/publications/WG3-State-of-the-Art. pdf