Proceedings 2nd Workshop on Formal Methods in the Development of Software | Publicación