Experiences and new alternatives for teaching formal verification of Java programs.

Ana Romero, Jose Divasn

Browse the full ITiCSE paper archive.