A Certified Implementation on Top of the Java Virtual Machine.

Javier de Dios, Ricardo Pea-Mar

Browse the full FMICS paper archive.