Teaching Formal Methods: From Software in the Small to Software in the Large | Publicación