Index of Isabelle/HOL/SafeImp

Certification of the translation from SVM to JVM, March 2009

by Javier de Dios and Ricardo Peña

Up to index of Isabelle/HOL

View theory dependencies
View document
View outline