Using formal models to cross check an implementation.

Raquel Arajo de Oliveira, Sophie Dupuy-Chessa, Galle Calvary, Daniele Dadolle

Browse the full EICS paper archive.