Using Krakatoa for Teaching Formal Verification of Java Programs | Publicación