Lanzamientos por International Symposium of Formal Methods