Experiences and new alternatives for teaching formal verification of Java programs | Publicación