SPE paper accepted: Guido de Caso, Diego Garbervetsky, Daniel Gorin. Integrated Program Verification Tools in Education.

Submitted by Anonymous (not verified) on 07/12

7/12 SPE paper accepted: Guido de Caso, Diego Garbervetsky, Daniel Gorin. Integrated Program Verification Tools in Education.

Undefined