BETTY WG2 State of the art report

TitleBETTY WG2 State of the art report
Publication TypeJournal Article
Year of Publication2014
AuthorsBartoletti, M., I. Castellani, P-M. Deniélou, M. Dezani-ciancaglini, S. Ghilezan, J. Pantović, J. A. Pérez, P. Thiemann, B. Toninho, and H. Torres Vieira