Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software | Publicación