EasyChair Smart SlideDocs/Log in
Author: Jose Divasón

This page shows all presentations of this author published in EasyChair Smart Slide.

Using Krakatoa for teaching formal verification of Java programs

Using Krakatoa for teaching formal verification of Java programs

Jose Divasón and Ana Romero

A Formalization of the LLL Basis Reduction Algorithm

A Formalization of the LLL Basis Reduction Algorithm

Jose Divasón, Sebastiaan Joosten, René Thiemann and Akihisa Yamada

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair